document.write('<form action="/jump.php" method=post><select name=AID class=relselect onchange="submit();"><option selected>Related Software :</option><option value=908>Cervisia</option><option value=3542>CrossVC</option><option value=1751>CVSspam</option><option value=1702>FreeBSD-CVSweb</option><option value=699>LinCVS</option><option value=3242>Subversion</option><option value=1661>VisualCVS</option></select></form>');