_:b154526 "128.0"^^ .