' [ 9257 .]