document.getElementById('Num137').innerHTML='2451';
document.getElementById('up137').innerHTML='15';
document.getElementById('down137').innerHTML='-9';