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