document.getElementById('Num912').innerHTML='6342';
document.getElementById('up912').innerHTML='31';
document.getElementById('down912').innerHTML='-28';