Codice PHP:
if(document.all && !document.getElementById) {
    
document.getElementById = function(id) {
         return 
document.all[id];
    }



mi sono buttato!