function digipostadres(achtervoegsel, domein, voorvoegsel, titel)
{var adres = voorvoegsel + '@' + domein + '.' + achtervoegsel;
if (titel==''){titel=adres;}
document.write('<a href="mailto:' + adres + '">' + titel + '</a>');}