Вот другое использование эти zip
функция.
>>> a = [3, 7, 19]
>>> zip(range(len(a)), a)
[(0, 3), (1, 7), (2, 19)]
Определенно не эксперт по JS, но некоторые поиски нашли это для изоляции IE6 от IE7 с помощью jscript_version == 5.7:
/*@cc_on
if (@_jscript_version==5.6 ||
(@_jscript_version==5.7 &&
navigator.userAgent.toLowerCase().indexOf("msie 6.") != -1)) {
//ie6 code
}
@*/
Может быть, это укажет вам верное направление.
Источник: http://sharovatov.wordpress.com/2009/06/03/efficient-ie-version-targeting/
Я нашел решение. Код выглядит следующим образом.
<script type="text/javascript" charset="utf-8">
/*@cc_on
if (@_jscript_version > 5.7)
document.write("You are using IE8");
else if (@_jscript_version == 5.7 && window.XMLHttpRequest)
document.write("You are using IE7");
else if (@_jscript_version == 5.6 || (@_jscript_version == 5.7 && !window.XMLHttpRequest))
document.write("You are using IE6");
else if (@_jscript_version == 5.5)
document.write("You are using IE5.5");
else
document.write("You are using IE5 or older");
@*/
</script>