_:b417171703 . _:b417171703 "0"^^ .