_:b425140842 . _:b425140842 "0"^^ .