reproduce 9502