document.getElementById('Num3142').innerHTML='392';
document.getElementById('up3142').innerHTML='1';
document.getElementById('down3142').innerHTML='-1';