// calcula la £ltima fecha de modificaci¢n. Rev.9-JUL-2002
// <script language="JavaScript" type="text/javascript">
// <!--
  var a;
  a=new Date(document.lastModified);
    lm_year=a.getYear();lm_year=((lm_year<1000)?((lm_year<70)?2000:1900):0)+lm_year;lm_year=lm_year-2000;lm_year=((lm_year<10)?'0':'')+lm_year;
    lm_month=a.getMonth()+1;lm_month=((lm_month<10)?'0':'')+lm_month;
  lm_day=a.getDate();lm_day=((lm_day<10)?'0':'')+lm_day;
  monthName = new Array(12)
  monthName[0] = 'ENE'
  monthName[1] = 'FEB'
  monthName[2] = 'MAR'
  monthName[3] = 'ABR'
  monthName[4] = 'MAY'
  monthName[5] = 'JUN'
  monthName[6] = 'JUL'
  monthName[7] = 'AGO'
  monthName[8] = 'SEP'
  monthName[9] = 'OCT'
  monthName[10] = 'NOV'
  monthName[11] = 'DIC'
//  document.write("revis.: " + lm_day+'-'+monthName[lm_month-1]+'-20'+lm_year);
// -->
// </script>