8217Xt.v . ) ( 6417 .)