// Uitsluitend voor IE6 nodig:
try{ document.execCommand("BackgroundImageCache", false, true); } catch(err) {}

// resizeDivs zou een beter naam zijn...
function scrollen() {
	var maxH = document.documentElement.clientHeight;
	var maxB = document.documentElement.clientWidth; // Uitsluitend voor IE6 nodig
//	var nieuweHoogte = eval(maxH - 145);
	var nieuweHoogte = eval(maxH - 141);
//	var nieuweBreedte = eval(maxB - 247);
	var nieuweBreedte = eval(maxB - 250); // Uitsluitend voor IE6 nodig
	try{
		document.getElementById("menu").style.height = nieuweHoogte + 'px';
		document.getElementById("content").style.height = nieuweHoogte + 'px';
		document.getElementById("content").style.width = nieuweBreedte + 'px'; // Uitsluitend voor IE6 nodig
	}
	catch(err){}
//	document.getElementById("menu").style.visibility = 'visible';
//	document.getElementById("content").style.visibility = 'visible';
}