function datemod()        /* script for date last modified - short form */
{
var lm = document.lastModified;
lm = lm.split(" ");
document.write("<hr width=200 align=center size=2>");
document.write("<center><font size=2><strong><em>");
document.write("This page last updated on <BR>" + lm[0]);
document.write("</em></strong></font></center>");
document.write("<hr width=200 align=center size=2>");
}

function nomad()    /* script to hide email address */
{
var c1,c2;
c1 = '<a href=\"mailto:nomadtrans@aol.com\">';
c2 = 'Nomad</a>';
document.write(c1+c2);
}