Con HTTP_USER_AGENT becco il browser; per sapere invece il Sistema Operativo, cosa devo fare?