<?php if (strstr($HTTP_USER_AGENT,"MSIE"))
{
　　echo "You are using Internet Explorer.<br>";
}
?>
这段代码中，strstr是什么意思？