if(badCrawler()){
header("HTTP/1.1 401 Unauthorized");
include("error401.php");
exit;
}