//------ Function for mist
// this takes a date of form "Wednesday, 18-Mar-03  time etc "
// turns it into a valid form, "Wednesday, 18 Mar 2003 time etc"
// parses that into the number of ms since 1970 and returns this number
//
function fixdate(baddate){
	arraydate = baddate.split(" ") ;
	fixed = new String ;
	numelem = arraydate.length ;
	for(i=0; i<numelem ;i++) {
	 arrayelem = arraydate[i].split("-") ;
	 if(arrayelem.length == 1)fixed = fixed.concat(arrayelem[0]," ") ;
	 	else
		for(j=0 ; j<arrayelem.length ; j++){
			if(j==arrayelem.length-1) 
				if(Number(arrayelem[j]) < 100) arrayelem[j] = 2000 + Number(arrayelem[j]) ;
			fixed = fixed.concat(arrayelem[j] , " ") ;
			}
	}
//		document.write("<br> fixdate: " + fixed + "<br>") ;
	  return Date.parse(fixed) ;
}
//---------end of function for fixing date string.
//
function output_rev_date() {
  revisedn = Date.parse(document.lastModified); //put date string as number of ms
  if(isNaN(revisedn)){							// if this is Not a Number, fix it.
   revisedn = fixdate(document.lastModified) ;	
   }
// fixes dates written as 18-Mar-03 by Mist   
  if(!isNaN(revisedn) && revisedn != 0 ){
    revised = new Date(revisedn) ;				// put date string into local form
  	day = revised.getDate();
	month = revised.getMonth() +1 ;
	year = revised.getYear() ; // make y2k compliant
                if(year <=9) year = "200" + year ;  // string concat.
                   else if (year <=80) year = "20" + year ;
				     else if (year <= 200) year +=  1900 ;
	document.write( " (Last modified " + month + "/" + day + "/" + year+ ")") ;
	}
/*
	proper is 18 Mar 2003
	also works 03/18/03
	does not work 18-Mar-03 which is what Mist gives
	does not work 03-18-03
	does not work 03-18-2003
*/	
}