document.getElementById('Num1537').innerHTML='1939';
document.getElementById('up1537').innerHTML='21';
document.getElementById('down1537').innerHTML='-20';