document.getElementById('Num1285').innerHTML='157';
document.getElementById('up1285').innerHTML='3';
document.getElementById('down1285').innerHTML='-6';