<!--

function nav_hover(obj) {
	obj.className="navbox_on";
	obj.style.background="#F7DDAC";
	obj.style.color="#B82130";
}

function nav_out(obj) {
	obj.className="navbox";
	obj.style.background="#F8FCD7";
	obj.style.color="#572B04";
}

-->