"0.0017"^^ .