My comments on ...

My previous posts on this topic needed attention... so rather than fixing in-place here the new version:

if(!document.getElementById)
{
 (function(){
   var obj = document.all || document.layers || {};
   document.getElementById = function getElementById(id){return obj[id] || null};
  }
 )();
}