document.getElementById('Num1255').innerHTML='172';
document.getElementById('up1255').innerHTML='2';
document.getElementById('down1255').innerHTML='-8';