document.getElementById('Num1302').innerHTML='4282';
document.getElementById('up1302').innerHTML='19';
document.getElementById('down1302').innerHTML='-42';