function set_email_link( id, a ) {
	/* Usage: <script language="JavaScript">paste_email_link();</script> */
	if (a == '' || a == null ) a = "info"; 
	var b = "@"; 
	var c = id; 
	var d = ".nl";
	var x = document.getElementById(id);
  x.innerHTML = "<a href=mailto:" + a + b + c + d + ">" + a + b + c + d + "</a>"; 
}