document.getElementById('Num1253').innerHTML='4547';
document.getElementById('up1253').innerHTML='10';
document.getElementById('down1253').innerHTML='-21';