document.getElementById('Num1993').innerHTML='6940';
document.getElementById('up1993').innerHTML='9';
document.getElementById('down1993').innerHTML='-42';