document.getElementById('Num4512').innerHTML='91';
document.getElementById('up4512').innerHTML='0';
document.getElementById('down4512').innerHTML='-0';