check if $_SERVER["HTTP_USER_AGENT"] exists