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