function urlMenu(that)
{
	theURL = that.options[that.selectedIndex].value;
	if (theURL) {
		window.location = theURL;
	}
 }