strpos($_SERVER['HTTP_USER_AGENT'], 'yacybot') !== false ||
strpos($_SERVER['HTTP_USER_AGENT'], 'www.yacy.net') !== false ||
strpos($_SERVER['HTTP_USER_AGENT'], 'Nutch-1.0') !== false ||
strpos($_SERVER['HTTP_USER_AGENT'], 'yacybot') !== false ||
strpos($_SERVER['HTTP_USER_AGENT'], 'www.yacy.net') !== false ||
strpos($_SERVER['HTTP_USER_AGENT'], 'Nutch-1.0') !== false ||