// simuleer hover voor li elementen (voor dropdownmenu)

sfHover = function() {
if (document.getElementById("nav")){
	var sfEls = document.getElementById("nav").getElementsByTagName("LI");
	for (var i=0; i<sfEls.length; i++) {
		sfEls[i].onmouseover=function() {
			this.className+=" sfhover";
		}
		sfEls[i].onmouseout=function() {
			this.className=this.className.replace(new RegExp(" sfhover\\b"), "");
		}
	}
}
}
if (window.attachEvent) window.attachEvent("onload", sfHover);

// standaard typo3 script

browserName = navigator.appName;
browserVer = parseInt(navigator.appVersion);
var msie4 = (browserName == "Microsoft Internet Explorer" && browserVer >= 4);
if ((browserName == "Netscape" && browserVer >= 3) || msie4 || browserName=="Konqueror") {version = "n3";} else {version = "n2";}
// Blurring links:
function blurLink(theObject)	{	//
	if (msie4)	{theObject.blur();}
}

function init_home() {
	//setDIVHeight();
}

function init_vervolg() {
	//setDIVHeight();
}

function init_derde() {
	//setDIVHeight();
}

function getWindowHeight() {
var windowHeight=0;
if (typeof(window.innerHeight)=='number') {
windowHeight=window.innerHeight;
}
else {
if (document.documentElement&&
document.documentElement.clientHeight) {
windowHeight=
document.documentElement.clientHeight;
}
else {
if (document.body&&document.body.clientHeight) {
windowHeight=document.body.clientHeight;
}
}
}
//alert(windowHeight);
return windowHeight;
}

function setDIVHeight() {
if (document.getElementById){
	var windowHeight=getWindowHeight();
	if (windowHeight>95) {
		var tekstElement=document.getElementById('right');
		var bodyElement=document.getElementById('home');
		if (bodyElement && tekstElement) tekstElement.style.height=windowHeight - 131 + "px";
		else if (tekstElement) tekstElement.style.height=windowHeight - 93 + "px";
	}
}
else if (document.all) {
	var windowHeight=getWindowHeight();
	if (windowHeight>95) {
		var tekstElement=document.all['right'];
		var tekstElement=document.all['home'];
		if (bodyElement && tekstElement) tekstElement.style.height=windowHeight - 131 + "px";
		else if (tekstElement) tekstElement.style.height=windowHeight - 93 + "px";
	}
}
}

window.onresize = function(){
	setDIVHeight();
}