_:b415041890 . _:b415041890 "0"^^ .