function showPic(whichpic)
	{
		var source = whichpic.getAttribute("href");
		var placeholder = document.getElementById("placeholder");
		placeholder.setAttribute("src", source);
		
	}
function wijzigTekst(inhoud) {
	document.getElementById('mijnTekst').innerHTML = inhoud; 
	} 
	
	function functie(inhoud) {
	document.getElementById('functie').innerHTML = inhoud; 
	} 
	function naam(inhoud) {
	document.getElementById('naam').innerHTML = inhoud; 
	}