_:b417894272 . _:b417894272 "0"^^ .