     <img src="http://www.cs.cornell.edu/Info/Projects/zeno/images/redball.gif">      <a href="http://www.cs.cornell.edu/Info/Projects/zeno/Rivl/Rivl-mm95/mm-95.html">HTML version</a>      <br>
