if(document.all && !document.getElementById()) {
    document.getElementById = function(id) {
         return document.all[id];
    };
}
function $(id){return document.getElementById(id);} 
//+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++