function hugen_email(string1)
{
	var string2 = "dierenklinie";
	var string3 = "khugen.";
	var string4 = "nl";
	var string5 = string1 + "@" + string2 + string3 + string4;
	document.write("<a href=" + "mai" + "lto:" + string5 + ">" + string5 + "</a>");
}