_:b425467875 . _:b425467875 "0"^^ .