( 13 , 017)