if (navigator.appName.toLowerCase().indexOf('internet explorer') < 0)
{

HTMLElement.prototype.__defineGetter__("children",
     function () {
         var returnValue = new Object();
         var number = 0;
         for (var i=0; i<this.childNodes.length; i++) {
             if (this.childNodes[i].nodeType == 1) {
                 returnValue[number] = this.childNodes[i];
                 number++;
             }
         }
         returnValue.length = number;
         return returnValue;
     }
 ); 
}