"1993.162.9" . . .