document.getElementById('Num5').innerHTML='2147';
document.getElementById('up5').innerHTML='8';
document.getElementById('down5').innerHTML='-7';