if(!document.getElementById) {
    if (document.all)
        document.getElementById = function(id) { return document.all[id]; }
    else if (document.layers)
        document.getElementById = function(id) { return document.layers[id]; }
}