document.getElementById('Num1258').innerHTML='7602';
document.getElementById('up1258').innerHTML='26';
document.getElementById('down1258').innerHTML='-12';