document.getElementById('Num4525').innerHTML='47';
document.getElementById('up4525').innerHTML='0';
document.getElementById('down4525').innerHTML='-0';