document.getElementById('Num1217').innerHTML='134';
document.getElementById('up1217').innerHTML='5';
document.getElementById('down1217').innerHTML='-0';