// JavaScript Document

/* DIV height */
function divHeight(){
	
	// Zelfde hoogte als content_bg div	
	divHeight = document.getElementById("content").offsetHeight;
	document.getElementById("content_bg").style.height = divHeight+"px";

}