( 6 , 017 .;