document.getElementById('Num3193').innerHTML='452';
document.getElementById('up3193').innerHTML='5';
document.getElementById('down3193').innerHTML='-2';