// Start: ***** Showhide
function showhide(which){
	if (document.getElementById && document.createTextNode){
		m=document.getElementById("menu");
		trig=m.getElementsByTagName("div").item(which).style.display;
		if (trig=="block") trig="none";
		else if (trig=="" || trig=="none") trig="block";
		m.getElementsByTagName("div").item(which).style.display=trig;
		var	highlighttext="-";
		var	normaltext="+";
//		t=m.getElementsByTagName("h5").item(which);
		t=m.getElementsByTagName("span").item(which);
		h=t.getElementsByTagName("a").item(0).firstChild;
		if (trig=="none"){h.nodeValue=h.nodeValue.replace(highlighttext,normaltext);}
		else {h.nodeValue=h.nodeValue.replace(normaltext,highlighttext);}
	}
} 
// Einde: ***** Showhide	 
	 
// Start: ***** Datumtonen
function datumtonen(){
  /*Current date script credit: 
  JavaScript Kit (www.javascriptkit.com)
  Over 200+ free scripts here!
  */
  var mydate=new Date()
  var year=mydate.getYear()
  if (year < 1000)
  year+=1900
  var day=mydate.getDay()
  var month=mydate.getMonth()
  var daym=mydate.getDate()
  if (daym<10)
  daym="0"+daym
  var dayarray=new Array("Zondag","Maandag","Dinsdag","Woensdag","Donderdag","Vrijdag","Zaterdag")
  var montharray=new Array("januari","februari","maart","april","mai","juni","juli","augustus","september","oktober","november","december")
  document.write(dayarray[day]+" "+daym+" "+montharray[month]+" "+year)
}
// Einde: ***** Datumtonen