document.getElementById('Num1318').innerHTML='139';
document.getElementById('up1318').innerHTML='9';
document.getElementById('down1318').innerHTML='-7';