function PrintFooter() {
  document.write("<P><HR><FONT SIZE=-1><I>");
  document.write("Please send comments to ");
  document.write("<A HREF=mailto:webmaster@supercomp.org?subject=Proceedings>webmaster@supercomp.org");
  document.write("</A><BR>");
  document.write(document.location);
  document.write(" Last Modified: Wednesday, October 11, 2000 12:00:00 ");
  document.write("</I></FONT><P>");
  defaultStatus = top.document.title + ": " + document.location;
  }

function openWindow(url) {
  var thedate, randomname;
  thedate = new Date();
  randomname = thedate.getTime();
  NewWindow= window.open(url,randomname,'toolbar=yes,location=no,directories=no,status=no,scrollbars=yes,resizable=yes, copyhistory=no,width=600,height=300')
  }

function count_words(textarea, result_field) {
  result_field.value = textarea.split(/\s+/).length;
  }

function resetTop(url) {
  document.write();
  top.location=url;
  }