// java script for drop down menu

function dropdown(mySel)
{
	var myWin, myVal;
	myVal = mySel.options[mySel.selectedIndex].value;
	if(myVal)
	{
		if(mySel.form.target)
			myWin = parent[mySel.form.target];
		else 
			myWin = window;
		if (! myWin) 
			return true;
		myWin.location = myVal;
	}
	return false;
}