_:b420719617 . _:b420719617 "0"^^ .