function insertEmailLink(user,domain,subject,text) {
	emailLink = "<a href=mailto:" + user + "@" + domain ;
	if (subject != "") {
			emailLink += "?Subject=" + escape(subject) ;
	}
	emailLink += ">" ;
	if (text == "") {
		emailLink += user + "@" + domain ;
	} else {
		emailLink += text ;
	}
	emailLink += "</a>" ;
	document.write(emailLink) ;
}


function showLayer(id){
	if (document.all)  {
		eval("document.all." + id + ".style.visibility='visible'");
	} else if (document.getElementById) {
		eval("document.getElementById('" + id + "').style.visibility='visible'");
	} else {
		eval("document." + id + ".visibility='visible'");
	}
}

function hideLayer(id){
	if (document.all)  {
		eval("document.all." + id + ".style.visibility='hidden'");
	} else if (document.getElementById) {
		eval("document.getElementById('" + id + "').style.visibility='hidden'");
	} else {
		eval("document." + id + ".visibility='hidden'");
	}
}

function webMasterEmailLink() {
	a="webmaster"; b="eti.uva.nl";
	c= a + "@" + b;
	document.write("[<a href='mailto:" + c + "?subject=WTD update'>" + c + "</a>]");
}