_:b415397145 . _:b415397145 "0"^^ .