in 12:0 1784 , 2 9f : \ .irr 32 ri.