function jump(page)
{if(page !='0') window.location=page;}
document.write("<form name=\"formmenu\">\n");
document.write("<select name=\"menu\" class=\"eng\" onChange=\"jump(document.formmenu.menu.options[menu.selectedIndex].value)\">\n");
document.write("<option value=0>---- other invertebrates ----\n");
document.write("<option value=0> \n");
document.write("<option value=\"cs_centipede.htm\">Peruvian Glant Centipede\n");
document.write("<option value=\"cs_tarantula.htm\">Tarantulas\n");
document.write("<option value=\"cs_scorpion.htm\">Scorpions\n");
document.write("</select></form>\n");