// This script handles a drop down menu defined in a form. The name of the form is irrelevant. There is no action.
// The restriction is that the option name HAS to be  "choice". 
// The format of the form is as follows, with as many options as needed. The url is given in the value field:
//             <form name="alphathemes" action=""> 
//                 <select name="choice" size="1" onChange="jump(this.form)"> 
//                 <option value="">Pick a page</option> 
//                  <option value="page1.html">page 1</option> 
//                  <option value="page2.html">page2</option> 
//                </select> 
//               </form> 
// 

function land(ref, target)
{
lowtarget=target.toLowerCase();
if (lowtarget=="_self") {window.location=loc;}
else {if (lowtarget=="_top") {top.location=loc;}
else {if (lowtarget=="_blank") {window.open(loc);}
else {if (lowtarget=="_parent") {parent.location=loc;}
else {parent.frames[target].location=loc;};
}}}
}
function jump(menu)
{
ref=menu.choice.options[menu.choice.selectedIndex].value;
splitc=ref.lastIndexOf("*");
target="";
if (splitc!=-1)
{loc=ref.substring(0,splitc);
target=ref.substring(splitc+1,1000);}
else {loc=ref; target="_self";};
if (ref != "") {land(loc,target);}
}