 </head>  <body> <center>   <a href="http://www.cs.washington.edu/education/courses/431//">     <img border=0 vspace=5 src="http://www.cs.washington.edu/education/courses/431/96s/nameplate_small.old.gif"></a>   <br clear=all>
