"10"^^ . . . . . . . . . . . . "0.371234"^^ . . . . . . "13"^^ . . . . . . . "8"^^ .