_:b415289087 . _:b415289087 "0"^^ .