document.getElementById('Num1193').innerHTML='6256';
document.getElementById('up1193').innerHTML='32';
document.getElementById('down1193').innerHTML='-10';