function menurollover(menuid, onoff)
{
	var element = document.getElementById("menu");
	
	if (onoff) {
		element.className = menuid + 'on';
	} else {
		element.className = 'hmoff';
	}
}

function JumpToURL(form)
{
	var IndexName = form.menu_1.selectedIndex;
	var url= form.menu_1.options[IndexName].value;
	if (url != "-") location.href = url;
}