document.getElementById('Num1013').innerHTML='193';
document.getElementById('up1013').innerHTML='12';
document.getElementById('down1013').innerHTML='-18';