12 , 80 — ' & lt;