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