( 13 , 017 .)