"0.507015"^^ . . . "8"^^ . . . . . . . . . "8"^^ . . . "3"^^ .