document.getElementById('Num1337').innerHTML='84';
document.getElementById('up1337').innerHTML='4';
document.getElementById('down1337').innerHTML='-2';