// -*-c-*-
//-------------------------------------------------------------
// Adds modification date and a Mailto tag for the specified
// Author at the given E-mail address.
// If no E-mail given then the tag is omitted.
//-------------------------------------------------------------
function AddModificationDate(Author, Email) {
  if(Date.parse(document.lastModified)!=null) {
    //alert(document.lastModified)
    splitString=document.lastModified.split(" ");
    tmpString="<SMALL><EM>Last modified:";
// English style dates returned
    if(splitString[2]!=null) {
    tmpString+=splitString[0];
    tmpString+=" ";
    tmpString+=splitString[1];
    tmpString+=" ";
    tmpString+=splitString[2];
    tmpString+=" ";
    tmpString+=splitString[3];
//    tmpString+=splitString[4];
    } else {
// American style dates returned
      tmpSplit=splitString[0].split("/");
      tmpString+=tmpSplit[1]+"/"+tmpSplit[0]+"/"+tmpSplit[2];
    }
    if(Author!=null) {
      tmpString+=" by ";
      if(Email!=null) {
	tmpString+='<A HREF=MAILTO:"'+Email+'"> '+Author+'<\/A>';
      } else {
	tmpString+=Author;
      }
    } 
    tmpString+="<\/EM><\/SMALL>";
    document.write(tmpString);
  }
  document.close();
}
//-------------------------------------------------------------
//  SimpleNavBar relies on there being an associative array
//  Navigate and the variable baseHref defined globally somewhere
//  For example:
//  var baseHref="file:///C|";
//  var Navigate=new Object();
//  Navigate["Home"]="/pt/sha/home.htm";
//  Navigate["Somewhere else"]="/pt/sha/somewhere";
//  Navigate["Here"]="/Sa/www/Test/JavaScript/JavaJive1.htm";
//-------------------------------------------------------------
function SimpleNavBar() {
  var tmpString='<HR><P ALIGN="CENTER">';
  var Here=document.URL;
  for(prop in Navigate) {
    if(Here!=baseHref+Navigate[prop]) {
      splitNavString=Navigate[prop].split("/")
	if(splitNavString[0]=="http:") {
	  destination=Navigate[prop];
	} else {
	  destination=baseHref+Navigate[prop];
	}
      tmpString += ' <A HREF="'+destination+'">['+prop+']<\/A> ';
    } else {
      tmpString += ' ['+prop+'] ';
    }
  }
  tmpString+="</P>";
  document.write(tmpString);
  document.close();
}
//-------------------------------------------------------------