_:b417133952 . _:b417133952 "0"^^ .