document.getElementById('Num4031').innerHTML='52';
document.getElementById('up4031').innerHTML='0';
document.getElementById('down4031').innerHTML='-0';