"13"^^ . . . "0.114454"^^ . . . . . . . . . . . . . . . "10"^^ . . "3"^^ .