<!-- Begin
var months=new Array(13);
months[1]="January";
months[2]="February";
months[3]="March";
months[4]="April";
months[5]="May";
months[6]="June";
months[7]="July";
months[8]="August";
months[9]="September";
months[10]="October";
months[11]="November";
months[12]="December";
var time=new Date();
var lmonth=months[time.getMonth() + 1];
var date=time.getDate();
var year=time.getYear();
if (year < 2000)    
year = year + 1900; 
// End -->

<!-- Begin
                        // Author: Jon Hatch
                        // Browser check
                        var bName = navigator.appName; // Browser Name
                        var bVer = parseInt(navigator.appVersion); // Browser Version
                        // Get the date
                        var now = new Date();
                        // Get the seed
                        var seed = now.getTime() % 0xffffffff
                        // Random number function
                        function rand(n)
                        {
                          seed = (0x015a4e35 * seed) % 0x7fffffff;
                          return (seed >> 20) % n;
                        }
                        
                        if((bName == "Netscape" && bVer >= 3) ||
                          (bName == "Microsoft Internet Explorer" && bVer >= 4)) br = "n3";
                        else
                          br = "n2";
                        if(br == "n3")
                        {
                          // Add ALT texts to this array
                          altTxt = new Array();
                          altTxt[0] = "Auto-trol Technology Corporation";
                          altTxt[1] = "Xerox";
                          altTxt[2] = "Boeing Commercial Airplanes";
                          altTxt[3] = "ITEDO Software";
                          altTxt[4] = "NIST";
			  altTxt[5] = "Airbus";	                         

                         
                          
                          // Add URLs to this array, next should be url[#], etc.
                          url = new Array();
                          url[0] = "http://www.auto-trol.com";
                          url[1] = "http://www.xerox.com";
                          url[2] = "http://www.boeing.com";
                          url[3] = "http://www.itedo.com";
                          url[4] = "http://www.nist.gov/itl/div897/";
                          url[5] = "http://www.airbus.com/";
                          
                         
                          
                          // Add logos to this array, next should be logos[6], etc.
                          logoNum = 0;
                          logos = new Array();
                          logos[0] = new Image();
                          logos[0].src = "/images/logos/attc.gif";
                          logos[1] = new Image();
                          logos[1].src = "/images/logos/xerox.gif";
                          logos[2] = new Image();
                          logos[2].src = "/images/logos/boeing.gif";
                          logos[3] = new Image();
                          logos[3].src = "/images/logos/itedo.gif";
                          logos[4] = new Image();
                          logos[4].src = "/images/logos/nist.gif";
                          logos[5] = new Image();
                          logos[5].src = "/images/logos/airbus.gif";
                                      
                          
                        }
                          // Getting a random logo
                          if(logoNum < logos.length - 1) logoNum = rand(logos.length);
                          else logoNum = 0; // Reset to zero if necessary
                        // Logo rotation.
                        
                        /* This code checks to see if the random number is greater than 5. If the #
                           is greater than the greatest # in the array the random number (logoNum) is reset to 0. The random
                           # is then incremented and the check run again. Then the document.writeln
                           command prints the appropriate logo and URL on the page and the process
                           is repeated. */
                           
// End -->