_:b425267789 . _:b425267789 "0"^^ .