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