n:r 9 , ( 19572 .)