7249 X 0 .)