document.getElementById('Num4531').innerHTML='51';
document.getElementById('up4531').innerHTML='0';
document.getElementById('down4531').innerHTML='-0';