» Juli — 72 * / 4 71 %o.