( 17 , 001 .)