if (top.lang=='NL')      {document.write(' Overzicht')}
else if (top.lang=='FR') {document.write(' Introduction')}
else if (top.lang=='DE') {document.write(' Introduction')}
else if (top.lang=='EN') {document.write(' About')}
else                     {document.write(' About')};