"0.000777"^^ .