_:b417181617 . _:b417181617 "0"^^ .