_:b415397137 . _:b415397137 "0"^^ .