document.getElementById('Num3194').innerHTML='1002';
document.getElementById('up3194').innerHTML='5';
document.getElementById('down3194').innerHTML='-5';