document.getElementById('Num231').innerHTML='2139';
document.getElementById('up231').innerHTML='8';
document.getElementById('down231').innerHTML='-9';