function MakeArray(n) {
	     this.length=n
		 return this
		 } 
if (Date.parse(document.lastModified) != 0) {
     last= document.lastModified.split(' ');
                               
	 monthNames = new MakeArray(12) ;
	   monthNames[0]="Jan" ;
	   monthNames[1]="Feb" ;
	   monthNames[2]='Mar' ;
	   monthNames[3]="Apr" ;
	   monthNames[4]="May" ;
	   monthNames[5]="Jun" ;
	   monthNames[6]="Jul" ;
	   monthNames[7]="Aug" ;
	   monthNames[8]="Sep" ;
	   monthNames[9]="Oct" ;
	   monthNames[10]="Nov" ;
	   monthNames[11]="Dec";
	 full= new Date(document.lastModified);
	 m=full.getMonth();
	 month=monthNames[m];
	 d=full.getDate();
	 y=full.getYear();
	 if (90 > y) {fy = y + 2000}
	 else {fy = y + 1900}
	 if (navigator.appName.substring(0,9) == "Microsoft") {fy=y}
	 document.write('<I>Links in this file last updated '
	          +month
			  +' '
			  +d
			  +', '
			  +fy
			  +'.'
			  +'</I>');
     }