mnuin ( a ) ( 12)