3231X2 ) [ 7266]