* / , 8 — ' | a12)