document.getElementById('Num1256').innerHTML='116';
document.getElementById('up1256').innerHTML='2';
document.getElementById('down1256').innerHTML='-0';