_:b415813578 . _:b415813578 "0"^^ .