Michael Janssen <mjanssen@cs.umn.edu> Tue May 31 22:47:29 2005 31569.37
