function hideoverlay(){document.getElementById('overlay').style.display='none';}
function hide_krispeeters(){document.getElementById('overlay_christeljoris').style.display='none';}