document.getElementById('Num1237').innerHTML='12073';
document.getElementById('up1237').innerHTML='22';
document.getElementById('down1237').innerHTML='-49';