"0.0717432"^^ . . . . "20"^^ . . . . . . . . . . . . . . . . . "10"^^ . . . . . "16"^^ . . . . . . . . .