document.getElementById('Num1131').innerHTML='709';
document.getElementById('up1131').innerHTML='6';
document.getElementById('down1131').innerHTML='-4';