function toggle(div)
		{
			var element = document.getElementById(div);
			if (element.style.display == 'none')
			{
				element.style.display = 'block';
			}
			else
			{
				element.style.display = 'none';
			}
		}
		
		function changeColor(id, color)
		{
			var element = document.getElementById("main_" +id);
			element.style.color = color;		
		}
		
		
		/*
		* Functie voor het verbergen van divs
		* @param string what
		*/
	  	
	  function hide(what, ul)
	  {
		  if (!document.getElementById) {
		  	 return null;
		  }
		
		  var divs = document.getElementsByTagName("div");
			
		  for(var i=0; i < divs.length; i++)
		  {
		  	var div = divs[i];
		  	var id = div.id;
			
		  	myRE = new RegExp(what, "i");	
		    if (id.match(myRE))
		    { 
		   		div.style.visibility = "hidden";
		   		//div.style.filter = alpha(opacity=50);
		    } 
		  }
		  // verander kleur hoofditem #FFF
		  changeColor(ul, '#FFF');
	  }
	  
	  	/*
	* Functie voor het tonen van divs
	* @param string what
	*/
	
	function show(what, ul)
	  {
		  if (!document.getElementById) {
		  	 return null;
		  }
		  var divs = document.getElementsByTagName("div");
			
		  for(var i=0; i < divs.length; i++)
		  {
		  	var div = divs[i];
		  	var id = div.id;
		  	myRE = new RegExp(what, "i");	
		    if (id.match(myRE))
		    { 
		   		div.style.visibility = "visible";
		    } 
		  }
		  //alert(ul);
		  changeColor(ul, '#000');
		 // resetColor();
		  
	  }
	  

	var fixed2;
	var theTop = 0;
	var old = theTop;
	
	function movemenu()
	{
		if (window.innerHeight)
		{
			  pos = window.pageYOffset
		}
		else if (document.documentElement && document.documentElement.scrollTop)
		{
			pos = document.documentElement.scrollTop
		}
		else if (document.body)
		{
			  pos = document.body.scrollTop
		}
		if (pos < theTop) pos = theTop;
		else pos += 0;
		if (pos == old)
		{
			fixed2.style.top = pos;
		}
		old = pos;
		temp = setTimeout('movemenu()',100);
	}
	
	function getObj(name)
	{
	  if (document.getElementById)
	  {
	  	this.obj = document.getElementById(name);
		this.style = document.getElementById(name).style;
	  }
	  else if (document.all)
	  {
		this.obj = document.all[name];
		this.style = document.all[name].style;
	  }
	  else if (document.layers)
	  {
	   	this.obj = document.layers[name];
	   	this.style = document.layers[name];
	  }
	}