( 15 , 017 .)