6 , 2o9 ^17 .)