document.getElementById('Num1157').innerHTML='3984';
document.getElementById('up1157').innerHTML='15';
document.getElementById('down1157').innerHTML='-31';