function fullHeight(){
	var hoogtescherm = document.body.clientHeight;
	document.getElementById("s_inhoud").style.height= (hoogtescherm - 320) + "px";
}

function redir() {
	if(location.href.substring(0, 26)=='http://www.kolleemuziek.nl'){
		switch(location.pathname) {
			case '/contact.html':
			case '/hotspot.html':
			case '/nieuws.html':
			case '/nieuwsbrief.html':
				location.href=location.href.replace(/www.kolleemuziek.nl/g, 'www2.kolleemuziek.nl')
		}
	}
}