this (but why? Oh well).'); exit(0); } echo('
'._('Sorry, the requested URL doesn’t match any resource on this server.').' '._('Try the menu ;-)').'