' ( Juli 9 — 15 ).