_:b425517719 . _:b425517719 "0"^^ .