( ' 9259 .)