document.getElementById('Num4519').innerHTML='37';
document.getElementById('up4519').innerHTML='0';
document.getElementById('down4519').innerHTML='-0';