_:b417177579 . _:b417177579 "0"^^ .