_:b415080397 . _:b415080397 "0"^^ .