"0.574715"^^ . . . . . . . . . . . . "12"^^ . . "6"^^ . . . . . . . . "8"^^ .