DevInfo:
".$_SERVER['HTTP_USER_AGENT'].""; ?>