document.getElementById('Num1087').innerHTML='117';
document.getElementById('up1087').innerHTML='4';
document.getElementById('down1087').innerHTML='-4';