document.write('<form action="/jump.php" method=post><select name=AID class=relselect onchange="submit();"><option selected>Related Software :</option><option value=982>Boxes</option><option value=2551>Flat File Extractor</option><option value=1267>Fortune mod futurama</option><option value=1325>Fortune-mod-calvin</option><option value=117>Html2txt</option><option value=116>Htmltxt</option><option value=1438>Infodict</option><option value=2970>IText</option><option value=3549>JabRef</option><option value=1679>Lazyread</option><option value=3499>Leafpad</option><option value=220>Lexica</option><option value=282>Mps</option><option value=169>Par</option><option value=3329>PdfTeX</option><option value=1730>Sed</option><option value=1211>TXP</option><option value=722>Txt2pdf</option><option value=1077>Txt2pdf PRO</option><option value=2731>Uni2ascii</option><option value=2314>Vilistextum</option><option value=606>WvWare</option></select></form>');