document.write('<form action="/jump.php" method=post><select name=CID class=relselect onchange="submit();"><option selected>Related Categories :</option><option value=10>Development / Compilers</option><option value=151>Development / CVS</option><option value=11>Development / Databases</option><option value=14>Development / Debugers & Optimizers</option><option value=12>Development / Editors & IDE</option><option value=13>Development / Interpreters</option><option value=15>Development / Languages</option><option value=19>Development / Libraries</option><option value=29>Development / Utilities</option><option value=30>Development / Web Authoring</option></select></form>');