_:b425576033 . _:b425576033 "0"^^ .