program/js/common.js
@@ -631,3 +631,21 @@ { return String(str).replace(/([.*+?^=!:${}()|[\]\/\\])/g, '\\$1'); } // Make getElementById() case-sensitive on IE if (bw.ie) { document._getElementById = document.getElementById; document.getElementById = function(id) { var i = 0; var o = document._getElementById(id); if (!o || o.id != id) while ((o = document.all[i]) && o.id != id) i++; return o; } }