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

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

function document_hover(control) {
	control.style.color = "Red";
	
}

function document_not_hover(control) {
	control.style.color = "Black";
}

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