_:b417133617 . _:b417133617 "0"^^ .