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