// We use JavaScript as a way to easily include this footer
// information in several HTML pages.

document.write('<div style="font-family: sans-serif; font-size: small;">');
document.write('\
<table width="100%" border="0" cellspacing="0" cellpadding="0"> \
  <tr><hr></tr> \
  <tr> \
    <td align="left"> \
      &copy;2000-2010 <a title="Rice University" href="http://www.rice.edu">Rice University</a> &bull; <a title="Rice CS" href="http://www.cs.rice.edu">Rice Computer Science</a> \
    </td> \
    <td align="right"> </td> \
  </tr> \
</table>');
document.write('</div>');