// zorg dat er geen frame om de pagina heen zit
	if (document.location.href != top.location.href) {
		top.location = document.location.href;
	}
	
	/*
		Tuned de hoogte van de pagina tot aan de footer. Dit kan niet met CSS omdat 
		je hier geen dynamische hoogte kunt hebben met % en px combinatie. Standaard 
		krijgt de pagina een hoogte van 80%, totdat Javascript deze finetuned in 
		actuele pixels (dus de browser kan altijd terugvallen op de 80%).
	*/
	function tunePagesize() {
		var page = document.getElementById("page");
		var footer = document.getElementById("footer");
		
		var perc = (footer.offsetTop * 100) / document.body.offsetHeight;
		page.style.height = Number(perc) + "%";
		//page.style.height = Number(footer.offsetTop) + "px";
	}
	
	/*
		Zorgt dat het zoekform in het navigatiemenu links de resultaten juist 
		weergeeft (zoekform's target wordt gebruikt bij het bepalen van de 
		Action forward in het StrutsAction)
	*/
	function fixZoekform() {
		// zoekform is niet altijd aanwezig (bijv. als de timer uit staat)
		if (ele("zoekForm1") != null) {
			ele("zoekForm1").forward.value = "resultFrameless";
		}
		if (ele("zoekForm2") != null) {
			ele("zoekForm2").forward.value = "resultFrameless";
		}
	}
	
	// verreist fbtoglobal.js
	onWindowLoad(tunePagesize);
	onWindowLoad(setGlobalAnchorText);
	onWindowLoad(fixZoekform);
	
	setEventHandler(window, "onresize", tunePagesize);