function pp2button(target, src, last) {
  if (!last)
    document.writeln('<a href="' + target + '">' + src + '</a> | ');
  else
    document.writeln('<a href="' + target + '">' + src + '</a><br>');
  }

function AdjustedYear(y) {
  if (y < 50) return 2000 + y;
  if (y < 1900) return 1900 + y;
  return y;
  }

function WriteFooter() {
  months = ["January", "February", "March", "April", "May", "June",
            "July", "August", "September", "October", "November", "December"];

  document.writeln('<center><font FACE="Arial,Helvetica,Geneva,Swiss" size=1>');

//  pp2button("dax.htm", "DAx", false);
//  pp2button("download.htm", "Demo Version", false);
//  pp2button("recent.htm", "New", false);
//  pp2button("apnotes.htm", "Application Notes", false);
//  pp2button("manuals.htm", "Manuals", false);
//  pp2button("fedback.htm", "What users say", false);
//  pp2button("contact.htm", "Contact information", false);
//  pp2button("mierlo/vmsc.htm", "Van Mierlo Software Consultancy", true);
  document.writeln('<a href="dax.htm">DAx</a> | ');
  document.writeln('<a href="download.htm">Demo Version</a> | ');
//  document.writeln('<a href="price.htm">Pricing</a> | ');
  document.writeln('<a href="recent.htm">New</a> | ');
  document.writeln('<a href="publications.htm">Publications</a> | ');
  document.writeln('<a href="apnotes.htm">Application Notes</a> | ');
  document.writeln('<a href="manuals.htm">Manuals</a> | ');
  document.writeln('<a href="fedback.htm">What users say</a> | ');
  document.writeln('<a href="contact.htm">Contact information</a> | ');
  document.writeln('<a href="mierlo/vmsc.htm">Van Mierlo Software Consultancy<a/><br>');

  cdate = new Date;
  document.writeln(location + ' &copy ' + AdjustedYear(cdate.getYear()) + ' Van Mierlo Software Consultancy<br>');

  lastmod = document.lastModified // get string of last modified date
  adate = new Date;
  lastmoddate = Date.parse(lastmod)   // convert modified string to date
  adate.setTime(lastmoddate);
  if (lastmoddate != 0){              // not unknown date (or January 1, 1970 GMT)
    document.writeln("Last updated " + adate.getDate() + " " + months[adate.getMonth()] + " " + AdjustedYear(adate.getYear()));
    }

  // End the hiding here. -->
  document.writeln('</center></font>');
  }