. "12"^^ . . . . . . . . . . . "0.256712"^^ . . . . . . "16"^^ . . . . . . . . . "7"^^ .