document.getElementById('Num1238').innerHTML='8533';
document.getElementById('up1238').innerHTML='36';
document.getElementById('down1238').innerHTML='-15';