. "0.15717"^^ . . . "4"^^ . . . "2"^^ . "4"^^ . . .