_:b415080235 . _:b415080235 "0"^^ .