( 7259 ( 13 , 3)