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