document.getElementById('Num233').innerHTML='3140';
document.getElementById('up233').innerHTML='5';
document.getElementById('down233').innerHTML='-11';