document.getElementById('Num112').innerHTML='3174';
document.getElementById('up112').innerHTML='13';
document.getElementById('down112').innerHTML='-16';