_:b142545 "7.83763"^^ .