"1994.25.1" . . .