document.write('<form action="/jump.php" method=post><select name=AID class=relselect onchange="submit();"><option selected>Related Software :</option><option value=3222>BitNami Redmine Stack</option><option value=3223>BitNami Trac Beta Stack</option><option value=662>Bug-buddy</option><option value=2112>Code Medic</option><option value=1350>DDD</option><option value=3161>ESTO</option><option value=1680>Gdb</option><option value=1268>Gnome-crash</option><option value=464>Kdbg</option><option value=1424>Mantid</option><option value=1132>MemProf</option><option value=279>Memwatch</option><option value=1070>Mpatrol</option><option value=2615>Post-Linked Optimization for Linux on POWER</option><option value=1640>QuickBugs Linux</option><option value=3394>TAU</option><option value=1650>UPS</option><option value=2816>Xdebug</option><option value=3448>Zoom</option></select></form>');