document.getElementById('Num3140').innerHTML='200';
document.getElementById('up3140').innerHTML='0';
document.getElementById('down3140').innerHTML='-1';