document.getElementById('Num3925').innerHTML='1273';
document.getElementById('up3925').innerHTML='6';
document.getElementById('down3925').innerHTML='-6';