( 12380 ) .F.