strpos($_SERVER['HTTP_USER_AGENT'], 'msnbot') !== false ||
strpos($_SERVER['HTTP_USER_AGENT'], 'Twiceler-0.9') !== false ||
strpos($_SERVER['HTTP_USER_AGENT'], 'ScoutJet') !== false ||
+ strpos($_SERVER['HTTP_USER_AGENT'], 'penthesilea/0.3') !== false ||
strpos($_SERVER['HTTP_USER_AGENT'], 'Cityreview Robot') !== false) {
if (isset($_SESSION['uid']))
$_SESSION['robot'] = true;