document.getElementById('Num237').innerHTML='13715';
document.getElementById('up237').innerHTML='20';
document.getElementById('down237').innerHTML='-11';