_:b417395675 . _:b417395675 "0"^^ .