function ahd_datemod () {

mos = new Array ("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");

lastmod = new Date(document.lastModified);
y2kyear = lastmod.getFullYear();
if (y2kyear < 2000 ) {y2kyear = y2kyear+100};

document.write("<P style = ' font-size: smaller; font-family: courier; text-align: right; color: lightgrey'>");
document.write( "Revised ",lastmod.getDate()," ",mos[lastmod.getMonth()]," ",y2kyear);
document.write("</P>");
}

function e_ml (dom,id) {
document.write("<I>"+id+"&nbsp;&#64;&nbsp;"+dom+"</I>");
}

function ahd_foot () {
document.write("<BR><DIV CLASS=AHD><A HREF='index2.html'>Main Page</A></DIV>");

mos = new Array ("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");

lastmod = new Date(document.lastModified);
y2kyear = lastmod.getFullYear();
if (y2kyear < 2000 ) {y2kyear = y2kyear+100};

document.write("<DIV CLASS=AHDD>Revised ",lastmod.getDate()," ",mos[lastmod.getMonth()]," ",y2kyear);
}