document.getElementById('Num1519').innerHTML='117';
document.getElementById('up1519').innerHTML='1';
document.getElementById('down1519').innerHTML='-1';