document.getElementById('Num1135').innerHTML='134';
document.getElementById('up1135').innerHTML='6';
document.getElementById('down1135').innerHTML='-1';