_:b417175175 . _:b417175175 "0"^^ .