function menu_item_hover(control) {
	control.style.color = "red";
	
}

function menu_item_not_hover(control) {
	control.style.color = "navy";
}

function load_page(strdocument) {
	parent.document.location.href = strdocument;
}