document.getElementById('Num1307').innerHTML='4992'; document.getElementById('up1307').innerHTML='30'; document.getElementById('down1307').innerHTML='-13';