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