/* $Id: global.js,v 1.1 2004/07/23 12:30:13 spliffy Exp $ */

function hoverElement(o) {
	if (o.className != '')
		o.className = '  ';
	else
		o.className = 'navHover';
}

function goToPage(url) {
	document.location.href = url;
}