// JavaScript Document
function toonPlattegrond(locatie) {
	var imagesrc = "images/plattegrond-"+locatie+".jpg";
	document.getElementById("kaart").src = imagesrc;
}