function contact_over() {
	document.getElementById("contact_short").style.visibility = "hidden";
	document.getElementById("contact_long").style.visibility = "visible";
	document.getElementById("contactgegevens").style.width = "190px";
	
}

function contact_out() {
	document.getElementById("contact_short").style.visibility = "visible";
	document.getElementById("contact_long").style.visibility = "hidden";
	document.getElementById("contactgegevens").style.width = "90px";
}