stretcher = function () {
		var org = document.getElementById("contentvenster").offsetHeight + 23 + 19 ;
		contenthoogte = org + 155 - (org%155) - 23 - 19;
		//alert(contenthoogte+" "+org+" "+org%155);
		document.getElementById("contentvenster").style.height = contenthoogte+"px";
		var aantal_extra = org/155;
		var extra_blokjes = "";
		var i;
		for(i=aantal_extra;i>=0;i--)
			extra_blokjes += "<div class=\"klein rood\"></div>";
		document.write = extra_blokjes;
	}
window.onload = stretcher;