document.getElementById('Num131').innerHTML='2532';
document.getElementById('up131').innerHTML='11';
document.getElementById('down131').innerHTML='-7';