4234X1- v. ) ( 9401 .)