function change_hoofdstuktitel(titel,link) {
// hoofdstuktitel
window.parent.hoofdstuktitel.document.write('' + titel + '')
window.parent.hoofdstuktitel.document.close();
// linkkleur wijzigen??
//window.parent.inhoudsopgave [link]. = '#00ff00';
//return;
}