if(top != self) top.location.href = location.href;

function topnav_over(category) {
	if (document.getElementById) document.getElementById(category).src = "../resources/images/nav/" + category + "_h.gif";
	else document[category].src = "../resources/images/nav/" + category + "_h.gif";
}

function topnav_out(category) {
	if (document.getElementById) document.getElementById(category).src = "../resources/images/nav/" + category + ".gif";
	else document[category].src = "../resources/images/nav/" + category + ".gif";
}	

function blank() {}