HoverMenu = new Object();
HoverMenu.TextColor = "#ff0000";
HoverMenu.TextColorOver = "#c0c0c0";
HoverMenu.BGColor = "#000000";
HoverMenu.BGColorOver = "#000000";
HoverMenu.BorderWidth = 1;
HoverMenu.BorderColor = "#000000";
HoverMenu.BorderColorOver = "#688086";
if (document.getElementById && document.childNodes) {
	// if the browser supports the "standard" DOM, then load the main script.
	document.write("<scr" + "ipt language='javascript1.2' src='hovermenu.js' type='text/javascript'><\/scr" + "ipt>");
}