/***versie 0.3 ***/

function setmenutitel(tekst) {
document.getElementById('menuover').innerHTML=tekst;
}

function resetmenutitel() {
document.getElementById('menuover').innerHTML="<br />";
}