document.write('<form action="/jump.php" method=post><select name=AID class=relselect onchange="submit();"><option selected>Related Software :</option><option value=3341>Adobe Reader</option><option value=3122>Gjots2</option><option value=1677>Groff</option><option value=452>Lout</option><option value=1497>Makeman.pl</option><option value=10>Man</option><option value=3102>Man pages</option><option value=1338>ManEdit</option><option value=2899>MapReduce for Eclipse</option><option value=3399>PDF Studio</option><option value=12>Pinfo</option><option value=11>Saxinfo</option><option value=3163>SiSU</option><option value=1488>The Missing Man Pages Project</option><option value=2202>XCHM</option></select></form>');