function showPageHeader(catalognaam,taal) {
document.writeln('' + instelling + '');
document.writeln('');
document.writeln('');
document.writeln(' | ');
document.writeln('
');
document.writeln(''+instelling+'
');
document.writeln('Catalogus: '+catalognaam+'
');
}