' + instelling + '

function showPageHeader(catalognaam,taal) { document.writeln('' + instelling + ''); //document.writeln(''); document.writeln(''); document.writeln(''); //document.writeln(''); document.writeln('

'); document.writeln(''+instelling+'
'); document.writeln(''+catalogus+' '+catalognaam+'

'); document.writeln('') }