document.getElementById('Num1271').innerHTML='80';
document.getElementById('up1271').innerHTML='3';
document.getElementById('down1271').innerHTML='-3';