function switchElement(verbergId, toonId)
{
	//functie verbergt het ene element een toont een andere
	if(document.getElementById(verbergId))
	{
		document.getElementById(verbergId).style.display = "none";
	}
	
	if(document.getElementById(toonId))
	{
		document.getElementById(toonId).style.display = "";
	}	
}

function IncludeJavaScript(jsFile)
{
  document.write('<script type="text/javascript" src="'
    + jsFile + '"></scr' + 'ipt>'); 
}