document.getElementById('Num1517').innerHTML='135';
document.getElementById('up1517').innerHTML='1';
document.getElementById('down1517').innerHTML='-0';