document.getElementById('Num4').innerHTML='11341'; document.getElementById('up4').innerHTML='20'; document.getElementById('down4').innerHTML='-17';