* F ( 10571 .)