[ 10120 ] * F.