_:b417177794 . _:b417177794 "0"^^ .