. . . . "16"^^ . . . . . . . . . . . "13"^^ . . . . "9"^^ . . . . . . "0.254235"^^ . . . . .