function mouseOver(nummer, new_src, titel){
		document.getElementById(nummer).innerHTML = "<img src='img/port/" + new_src + "' alt='" + titel + "'>";
	}
	
	function mouseOverInfo(nummer, titel, omschrijving, datum){
		document.getElementById(nummer).innerHTML = "<font class='oranje'><b>" + titel + "</b> <br> <font size='-5'>[" + datum + "]</font></font> <hr style='margin-top:0;margin-bottom:2px;'><div class='beschrijving'>" + omschrijving + "</div>";
	}
	
	function mouseOutInfo(nummer, src, titel){
		document.getElementById(nummer).innerHTML = "<img src='img/port/" + src + "' alt='" + titel + "'>";
	}