<?
$os = getenv ("HTTP_USER_AGENT");
if (strstr($os, 'Linux'))
{
print("<b>LINUX</b>");
}
else
{
print("NOT LINUX");
}
?>