_:b425574258 . _:b425574258 "0"^^ .