document.getElementById('Num1319').innerHTML='107';
document.getElementById('up1319').innerHTML='11';
document.getElementById('down1319').innerHTML='-9';