这是一个用于判断IE浏览器版本的紧凑脚本