[code]$UA = input($_SERVER[\'HTTP_USER_AGENT\']);
$UA = strtok($UA, \'/\');
$UA = strtok($UA, \'(\');
$UA = preg_replace(\'/[^a-z^0-9^\\-^\\.]/i\', \'\', $UA);
[/code]