function navigatie(menu,mouse) {
  if (mouse=='over') {
	document.getElementById(menu).style.visibility = 'visible';
	document.getElementById(menu).style.position = 'relative';
  } else {
	document.getElementById(menu).style.visibility = 'hidden';
	document.getElementById(menu).style.position = 'absolute';
  }
}



	function show_nav(id_nav)
	{
		getElementsByClassName(document, "div", "subnav");
		
		document.getElementById(id_nav).style.visibility = 'visible';
		document.getElementById(id_nav).style.position = 'relative';
		//close_nav('subnav_<?=$nav['id'][$i]?>');
	}
	

	
	
	function hide_nav(id_nav)
	{
   		
		window.setTimeout("close_nav(" + id_nav + ")", 1500);
	}
	
	function close_nav(id_nav)
	{
		document.getElementById(id_nav.id).style.visibility = 'hidden';
		document.getElementById(id_nav.id).style.position = 'absolute';
	}
	
	
	
	
	
	
	
	
	
// ---
/*
    Written by Jonathan Snook, http://www.snook.ca/jonathan
    Add-ons by Robert Nyman, http://www.robertnyman.com
*/
function getElementsByClassName(oElm, strTagName, strClassName){
	
	var arrElements = (strTagName == "*" && oElm.all)? oElm.all : oElm.getElementsByTagName(strTagName);
	var arrReturnElements = new Array();
	strClassName = strClassName.replace(/\-/g, "\\-");
	var oRegExp = new RegExp("(^|\\s)" + strClassName + "(\\s|$)");
	var oElement;
	for(var i=0; i<arrElements.length; i++){
		oElement = arrElements[i];		
		if(oRegExp.test(oElement.className)){
			//arrReturnElements.push(oElement);
			close_nav(oElement)
		}	
	}
	//return (arrReturnElements)
}

// ---
// Array support for the push method in IE 5
if(typeof Array.prototype.push != "function"){
	Array.prototype.push = ArrayPush;
	function ArrayPush(value){
		this[this.length] = value;
	}
}
// ---
/*
	Examples of how to call the function:
	
	To get all a elements in the document with a "info-links" class:
    getElementsByClassName(document, "a", "info-links");
    
	To get all div elements within the element named "container", with a "col" and a "left" class:
    getElementsByClassName(document.getElementById("container"), "div", ["col", "left"]);
*/
// ---