var defaultElementId = "";
var lastSelectedElement = null;

function initNav()
{
	selectedElement = document.getElementById(defaultElementId);
}

function unhighlightNavItem(element) {
	if((selectedElement == null && element.id != defaultElementId) || selectedElement != null)
	{
		if(element != selectedElement)
		{
			element.className = element.id;
		}
	}
}

function highlightNavItem(element) {
	if(!element.className.match("_over"))
	{
		element.className += "_over";
	}
}

function selectAndNavigate(element, url) {
	window.frames.myFrame.location.href = url;
}