9254 X 3 .)