document.getElementById('Num1265').innerHTML='10273';
document.getElementById('up1265').innerHTML='32';
document.getElementById('down1265').innerHTML='-32';