_:b425140396 . _:b425140396 "0"^^ .