_:b417140792 . _:b417140792 "0"^^ .