function get_ie_version () { var v = 3, div = document.createElement('div'), i = div.getElementsByTagName('i'); do { div.innerHTML = '<!--[if gt IE ' + (++v) + ']><i></i><![endif]-->'; } while (i[0]); return v > 4 ? v : 100; //if not IE,return 100. };