document.getElementById('Num1525').innerHTML='94';
document.getElementById('up1525').innerHTML='0';
document.getElementById('down1525').innerHTML='-0';