document.getElementById('Num1058').innerHTML='157';
document.getElementById('up1058').innerHTML='9';
document.getElementById('down1058').innerHTML='-9';