"0.145628"^^ . . . "5"^^ . . "13"^^ . . . . . . . . . . . . . . "15"^^ . . . . . .