document.getElementById('Num1942').innerHTML='9207';
document.getElementById('up1942').innerHTML='19';
document.getElementById('down1942').innerHTML='-18';