// JavaScript Document

function setTitel(pagina){
	document.getElementById("titeltje").setAttribute("src", "images/header_" + pagina + ".jpg");	
}