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) 
{
	var p1 = "av";
	var p3= "08";
	var p2 = "haarlemmermeer";
	var p4="mai";
	document.write('<a href="' + p4 + 'lto:' + titl + p3 + '@' + p1 + p2 + '.nl');
	document.write('">' + titl + '</a>');
}