if (top.lang=='NL') {document.write(' Publicaties')}
else if (top.lang=='FR') {document.write(' Publications')}
else if (top.lang=='DE') {document.write(' Publikationen')}
else if (top.lang=='EN') {document.write(' Publications')}
else                     {document.write(' Publications')};