_:b425894252 . _:b425894252 "0"^^ .