document.getElementById('Num1254').innerHTML='163';
document.getElementById('up1254').innerHTML='6';
document.getElementById('down1254').innerHTML='-7';