document.getElementById('Num712').innerHTML='9258';
document.getElementById('up712').innerHTML='82';
document.getElementById('down712').innerHTML='-43';