<!-- Hide Script from Java-Impaired Browsers
function updated(docname) {
 if (docname==null) docname = 'Page';
 var dayMod=document.lastModified.substr(3,2); /* Day number - 2 digit */
 var day=dayMod;
 if (dayMod.substring(0,1)=="0") {
	day=document.lastModified.substr(4,1); /* Day number - 1 digit */
 }
 var dayNum=dayMod.substr(4,1); /* final digit of Day number */
 var daySuff='th';
 if ( (day!='11') && (day!='12') ) {
         if (dayNum=='1') daySuff='st'
    else if (dayNum=='2') daySuff='nd'
    else if (dayNum=='3') daySuff='rd';
 }
 var monNum=document.lastModified.substr(0,2);	/* Month number */
 var monName=monNum;
      if (monNum=='01') monName='Jan'
 else if (monNum=='02') monName='Feb'
 else if (monNum=='03') monName='March'
 else if (monNum=='04') monName='April'
 else if (monNum=='05') monName='May'
 else if (monNum=='06') monName='June'
 else if (monNum=='07') monName='July'
 else if (monNum=='08') monName='Aug'
 else if (monNum=='09') monName='Sept'
 else if (monNum=='10') monName='Oct'
 else if (monNum=='11') monName='Nov'
 else if (monNum=='12') monName='Dec'
 var datelastmod = day+'<SUP>'+daySuff+'</SUP> '+monName+' '+document.lastModified.substr(6,4);
 document.write('<P>'+docname+' last updated '+datelastmod+'<BR>');
}
// End Hiding Script -->
