document.getElementById('Num1947').innerHTML='4095';
document.getElementById('up1947').innerHTML='11';
document.getElementById('down1947').innerHTML='-16';