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