 <img src="http://www.cs.utexas.edu/users/martym/images/red-ball.gif">  <a href="http://www.cs.utexas.edu:80/users/ai-lab/"> AI lab home page </a> <br>
