// The following script checks to see if document.all is present
// but document.getElementById is not. If this is the case it then 
// assigns a new function to document.getElementById that wraps 
// around document.all
//
if(document.all && !document.getElementById) {
    document.getElementById = function(id) {
         return document.all[id];
    }
}