document.getElementById('Num137').innerHTML='2437';
document.getElementById('up137').innerHTML='14';
document.getElementById('down137').innerHTML='-8';