"0.15603"^^ . . . . . . . . "5"^^ . . . "13"^^ . . . . . "12"^^ . . . . . . .