document.getElementById('Num1254').innerHTML='136';
document.getElementById('up1254').innerHTML='4';
document.getElementById('down1254').innerHTML='-5';