9257X2 ) [ 9534]