"3"^^ . . . . "0.137657"^^ . . . . . "17"^^ . . . . . . . . . . . "14"^^ . . . . .