_:b415712890 . _:b415712890 "0"^^ .