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