document.getElementById('Num1289').innerHTML='7372';
document.getElementById('up1289').innerHTML='20';
document.getElementById('down1289').innerHTML='-15';