Report question

Question: Is it possible for $_SERVER['HTTP_USER_AGENT'] to not be set?