se sostituisci $HTTP_USER_AGENT con $_SERVER['HTTP_USER_AGENT'] ?