_:b425158029 . _:b425158029 "0"^^ .