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