( 13 , ( 58 .)