document.getElementById('Num142').innerHTML='7763';
document.getElementById('up142').innerHTML='2';
document.getElementById('down142').innerHTML='-6';