9242X2 . ) ( 9502 .)