（从已经死了一次又一次终于挂掉的百度空间人工抢救出来的，发表日期2014-04-09）
<?php
//ie6及以下的浏览器不加载js_menu文件。
if (strpos($_SERVER['HTTP_USER_AGENT'], "MSIE")) {
$start = strpos($_SERVER['HTTP_USER_AGENT'], "MSIE");
$start+=5;
$ver = substr($_SERVER['HTTP_USER_AGENT'], $start, 4);
if ($ver >= 6.0) {
echo '<script src="../../common/js/js_menu.js"></script>';
}
} else {
echo '<script src="../../common/js/js_menu.js"></script>';
}
?>