function hoogte(div,name)
{
	/********* maak een array van de divs die in hoogte aangepast moet worden ************/
	var height1 = (document.getElementById(div).clientHeight);
	var height2 = (document.getElementById(name).clientHeight);
	
	if (height1 > height2)
	{
		x = name.split(',');
		var height = (document.getElementById(div).clientHeight) + "px";
		for (var i=0;i<x.length;i++)
		{
			document.getElementById(x[i]).style.height = height;
		}
	}
}