var b="leeg";
	function verander(title){
		//Deze functie krijgt de opdracht om te switchen naar het gevraagde stylesheet
		var i, a;
		for(i=0;(a=document.getElementsByTagName("link")[i]);i++){
			if(a.getAttribute("rel").indexOf("style") !=-1 && a.getAttribute("title")){
				//alert(title + "\nloop nummer "+i);
				a.disabled=true;
				if(a.getAttribute("title")==title){
					a.disabled=false;
				}//end if
			}//end if
		}//end for
	}//end function verander