document.getElementById('Num3733').innerHTML='1002';
document.getElementById('up3733').innerHTML='5';
document.getElementById('down3733').innerHTML='-5';