if( Date.parse(document.lastModified) != 0)
{
var sdate = ddate.replace( /\s/g, "_" ); // defined in setdate.js
var suffi = /htm[^\/]*$/; // Last element in path contains "htm" -- best we can do for now
var ffile = document.URL;
if( ffile.match(suffi) ) // If URL contains explicit file name
{
var urlRe = /[-a-zA-Z0-9._()#]*$/;
ffile = ffile.match( urlRe );
}
else // else URL is directory with default implicit file
ffile = "index.html"; // set file name
document.write( '
' );
if( httpRe.exec( document.URL ) )
{
if( myServer == "MS" ) // defined in setdate.js
{
document.write( ' Text Version
(Printer Friendly)
' );
}
else
{
document.write( ' Text Version
(Printer Friendly)' );
}
}
else
document.write( ' Text Version
(Printer Friendly)' );
}