alecpl
2008-09-16 491a6e2901938f49c1e14907f9da615286c81719
program/js/common.js
@@ -642,7 +642,7 @@
    var i = 0;
    var o = document._getElementById(id);
    if (o.id != id)
    if (!o || o.id != id)
      while ((o = document.all[i]) && o.id != id)
        i++;