// JS function adds css-class "over" to listitems. This is needed in IE for mouseover
function addClassToListItems (parentNode) {
	var listitems = parentNode.getElementsByTagName('li')
	for (i=0; i<listitems.length; i++) {
		node = listitems[i];
		if (node.nodeName=="LI") {
			node.onmouseover=function() {
				this.className+=" over";
			}
  			node.onmouseout=function() {
  				this.className=this.className.replace(" over", "");
  			}
  	 	}
  	}
}

function initNavigation () {
	if (document.all&&document.getElementById) {
		var naviNode = document.getElementById("navigation");
		addClassToListItems (naviNode);
	}	
}