document.write('<form action="/jump.php" method=post><select name=AID class=relselect onchange="submit();"><option selected>Related Software :</option><option value=1533>Bash</option><option value=1784>Dialogcd</option><option value=1628>Easymenu</option><option value=159>Fosh</option><option value=2901>GNU M4</option><option value=164>Killproc</option><option value=276>Marks</option><option value=1369>Shtool</option><option value=1882>Srm</option><option value=2143>Stash</option><option value=2998>Tcsh</option><option value=3508>Tiny serial terminal</option><option value=3058>Unsort</option><option value=3233>Zsh</option></select></form>');