document.getElementById('Num1287').innerHTML='4533';
document.getElementById('up1287').innerHTML='8';
document.getElementById('down1287').innerHTML='-9';