_:b415043217 . _:b415043217 "0"^^ .