function ToggleTopMenu(div, over) {
	var BgNormal = "#0C4F8F";
	var BgHover = "#3491BE";

	div.style.backgroundColor = over ? BgHover : BgNormal;
}