document.getElementById('Num2345').innerHTML='1247';
document.getElementById('up2345').innerHTML='4';
document.getElementById('down2345').innerHTML='-8';