_:b417125339 . _:b417125339 "0"^^ .