"0.0893577"^^ . "4"^^ . . "12"^^ . . . "8"^^ . . . . . . . . . . . . . . .