if (top.lang=='NL')      {document.write('Laatst gewijzigd op')}
else if (top.lang=='FR') {document.write('Modifiée dernière á')}
else if (top.lang=='DE') {document.write('Lestes anderung am')}
else if (top.lang=='EN') {document.write('Last updated on')}
else                     {document.write('Last updated on')};