document.getElementById('Num133').innerHTML='3675';
document.getElementById('up133').innerHTML='11';
document.getElementById('down133').innerHTML='-17';