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