_:b139425 "4.25833"^^ .