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