<!--

function editText(content) {document.getElementById('merkenTitel').innerHTML = content; }

//-->