_:b145710 "13.5759"^^ .