' ‘ [ 9524]