<?php
$tmp = strtolower($_SERVER['HTTP_USER_AGENT']); 
?>