function DropDownMenu(entered)
{
// *************************************************************************** 
// DROP DOWN MENU (c) Henrik Petersen / NetKontoret 1998 - All rights reserved 
// Explained along with other useful scripts at: http://www.echoecho.com/javascript.htm
// You may freely use this script as long as you do not remove this line and the 2 lines above.
// *************************************************************************** 
with (entered)
{
ref=options[selectedIndex].value; 
splitcharacter=ref.lastIndexOf("&"); 
if (splitcharacter!=-1) {loc=ref.substring(0,splitcharacter); target=ref.substring(splitcharacter+1,1000).toLowerCase();}
else {loc=ref; target="_self";};
lowloc=loc.toLowerCase(); 
if (lowloc=="false") {return;} 
if (target=="_self") {document.location=loc;} 
else {if (target=="_top") {top.location=loc;} 
else {if (target=="_blank") {window.open(loc);} 
else{if (target=="_parent") {parent.location=loc;}
else {parent.frames[target].location=loc;}; 
}}}}
}