');
// document.write ('Open water 2003');
// document.write ('Kalender 2003 / 2004');
// document.write ('Kalender 2004 / 2005');
// document.write ('Kalender 2005 / 2006');
//document.write ('Kalender 2006 / 2007');
document.write ('Kalender 2007 / 2008');
document.write ('Kalender 2008 / 2009');
}
function bestMenu (swimmer, pool) {
document.write ('Zwemmers selectie');
document.write ('Snelste seizoenstijden');
document.write ('Pr\'s');
}