Michael Janssen <mjanssen@cs.umn.edu> Thu Dec  8 14:23:15 2005 13527.3
