         <a href="http://www.cs.washington.edu/research/projects/spin/www/external/members.html"><img src=http://www.cs.washington.edu/research/projects/spin/www/pics/spinlogo.gif></a><br>
