document.getElementById('Num1531').innerHTML='77';
document.getElementById('up1531').innerHTML='5';
document.getElementById('down1531').innerHTML='-8';