_:b417177297 . _:b417177297 "0"^^ .