_:b142398 "7.58333"^^ .