( 9 , 017 .)