11 } 011 ^ oc | 1 ^ juli.