document.getElementById('Num1283').innerHTML='94';
document.getElementById('up1283').innerHTML='2';
document.getElementById('down1283').innerHTML='-5';