if (top.lang=='NL')      {document.write(' Bibliotheek')}
else if (top.lang=='FR') {document.write(' Bibliothèque')}
else if (top.lang=='DE') {document.write(' Bücherei')}
else if (top.lang=='EN') {document.write(' Library')}
else                     {document.write(' Library')};