2237Xt- v- ) ( 9417 .)