document.getElementById('Num1472').innerHTML='4878';
document.getElementById('up1472').innerHTML='37';
document.getElementById('down1472').innerHTML='-13';