function over(intekst) {
document.getElementById('status').innerHTML=intekst;
}
function uit() {
document.getElementById('status').innerHTML='Welkom op de website van Het Pomphuis !';
}