5259 X 1 .)