function navigation_init(navid, classOver) {
	var div;
	var list;

	div = document.getElementById(navid);
	list = div.getElementsByTagName('li');
	for (var i = 0; i < list.length; i++) {
		list[i].onmouseover = function() {
			appendClassName(this, "over");
		};
				
		list[i].onmouseout = function() {
			removeClassName(this, "over");		
		};					
	}
}

function hasClassName(element, className) {
	return element.className.match(new RegExp("(^|\\s)" + className + "(\\s|$)"));
}

function appendClassName(element, className) {
	if (!hasClassName(element, className)) {
		if (element.className.length > 0)
			element.className += ' ' + className;
		else 
			element.className = className;
	}
}

function removeClassName(element, className) {
	element.className = element.className.replace(new RegExp("(^|\\s)" + className + "(\\s|$)"), "");
}