if( Date.parse(document.lastModified) != 0)
{
  var sdate = ddate.replace( /\s/g, "_" );
  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 is directory with default file
    {
      var urlRe = /[-a-zA-Z0-9._()#]*$/;
      ffile = ffile.match( urlRe ); 
    }
  else
    ffile = "index.html"; 

  document.write( '<img src="pf.gif">' );
  if( httpRe.exec( document.URL ) )
  {
    if( myServer == "MS" )
      {
    	document.write( ' <a class=pf href="p_', ffile );
    	document.write( '" target="_blank">Text Version<br>(Printer Friendly)</a><br>' );
      }
    else
      {
    	document.write( ' <a class=pf href="printpage.php?ddate=', sdate );
    	document.write( '" target="_blank">Text Version<br>(Printer Friendly)</a>' );
      }
  }
  else 
    document.write( ' <a class=pf href="p_', ffile, '" target="_blank">Text Version<br>(Printer Friendly)</a>' );
}