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

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("vmsc.htm", "Home", false);
//  pp2button("products.htm", "Products", false);
//  pp2button("download.htm", "Download", false);
//  pp2button("year2000.htm", "Year 2000", false);
//  pp2button("contact.htm", "Contact information", true);
  document.writeln('<a href="vmsc.htm">Home</a> | ');
  document.writeln('<a href="products.htm">Products</a> | ');
  document.writeln('<a href="download.htm">Download</a> | ');
//  document.writeln('<a href="year2000.htm">Year 2000</a> | ');
  document.writeln('<a href="contact.htm">Contact information</a><br>');

  cdate = new Date;
  document.writeln(location + ' &copy ' + AdjustedYear(cdate.getYear()) + ' Van Mierlo Software Consultancy<br>');
//  document.writeln(location + ' &copy 2005 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>');
  }