_:b425150803 . _:b425150803 "0"^^ .