function showText(text) {
	window.status = text;
}

function showDiv(div) {
	document.getElementById(div).style.visibility = "visible";
}

function hideDiv(div) {
	document.getElementById(div).style.visibility = "hidden";
}

function doThis() {
	var one = "w";
	var two = ".weerkamp";
	var thr = "uva.";
	var fou = "nl";
	
	document.getElementById("email-link").href = "mailto:" + one + two + "@" + thr + fou;
}