// JScript File
<!--
    var gNavigatorType;
    
    function getDocNavigatorType() {
        if ( !(typeof document.layers=='undefined') ) {
	        getDocNavigatorType = function() {
	            return "NN";
	        }
        } else {
	        if ( !(typeof document.all=='undefined') ) {
		        if ( !(typeof document.getElementById=='undefined') ) {
			        getDocNavigatorType = function() {
			            return "IE5+";
			        }
		        } else {
			        getDocNavigatorType = function() {
			            return "IE4";
			        }
		        } 
	        } else {
		        getDocNavigatorType = function() {
		            return "FF";
		        }
	        }
        }
        return getDocNavigatorType();
    }


    function getDocElementById(id) {    
        if ( !(typeof document.getElementById=='undefined') ) {        
            getDocElementById = function(id) { 
                this.inheritFrom = document.getElementById;
                return document.getElementById(id); 
            }    
        } else if ( !(typeof document.all=='undefined') ) {       
            getDocElementById = function(id) { 
                this.inheritFrom = document.all;
                return document.all[id]; 
            }   
        } else if ( !(typeof document.layers=='undefined') ) {        
            getDocElementById = function(id) { 
                this.inheritFrom = document.layers;
                return document.layers[id]; 
            }   
        } else {        
            getDocElementById = function(id) { 
                return eval("document." + id); 
            }
        }   
        
        // When we get here, the getElement function has been replaced.    
        // So we return the result of the new function.    
        
        return getDocElementById(id);
    }
    document.getDocElementById = getDocElementById;
    

    function getDocElementsByTagName(id) {    
        if ( !(typeof document.getElementsByTagName=='undefined') ) {        
            getDocElementsByTagName = function(id) {
                this.inheritFrom = document.getElementsByTagName;
                return document.getElementsByTagName(id); 
            }    
        } else if ( !(typeof document.all=='undefined') ) {       
            getDocElementsByTagName = function(id) { 
                this.inheritFrom = document.all;
                return document.all[id].tags; 
            }   
        } else {        
            getDocElementsByTagName = function(id) { return null; }
        }   
        
        // When we get here, the getElement function has been replaced.    
        // So we return the result of the new function.    
        
        return getDocElementsByTagName(id);
    }
    document.getDocElementsByTagName = getDocElementsByTagName;
    
// --> 

