_:b417173775 . _:b417173775 "0"^^ .