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