/is_def.pl/1.2/Thu Jul 7 12:38:24 2005// D