document.getElementById('Num9').innerHTML='1973';
document.getElementById('up9').innerHTML='6';
document.getElementById('down9').innerHTML='-14';