それって文字数固定なの?
substr($http_user_agent,-8,-1);
とかで良さそうな気がするけど、ベンチとるのまんどくさい…