function jaarrel (leeftijd)
{	// genereer geboortejaar vanuit leeftijd, +1 na 1 november 
	datum=new Date();
	jaar=datum.getFullYear();
	jaar-=leeftijd;
	if (datum.getMonth()>9) 
		jaar++;
	document.write(String(jaar));
}
function selmaand(maand,s1,s2)
{	// genereer string s1 als datum nu ligt voor maand, anders s2
	d=new Date(); 
	if (d.getMonth()<maand) 
		document.write(s1); 
	else 
		document.write(s2);
}
function launch(url, popup,x,y) 
{   // open een popup window van x,y pixels 
	self.name = 'opener';
	remote = open(url, popup, 'width='+x+',height='+y);
}
function mm(titl,disp) 
	{
		var p1 = "av";
		var p3= "08";
		var p2 = "haarlemmermeer";
		var p4="mai";
		document.write('<a href="' + p4 + 'lto:' + titl + p3 + '@' + p1 + p2 + '.nl">');
		if (disp)
			if (disp==1)
				document.write(titl + p3 + '@' + p1 + p2 + '.nl</a>');
			else
				document.write(disp + '</a>');
		else
			document.write(titl + '</a>');
	}