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