_:b415156890 . _:b415156890 "0"^^ .