document.getElementById('Num1248').innerHTML='93';
document.getElementById('up1248').innerHTML='5';
document.getElementById('down1248').innerHTML='-0';