       <A HREF="http://www.cs.utexas.edu/"><IMG BORDER=0 ALT="UTCS Home Page |"       ALIGN=middle HSPACE=5 SRC="http://www.cs.utexas.edu/users/kharker/images/ut-icon.gif"></A>     </TD>
