produced july 11-17 for the work office.