and most of it pumped years ago through JRE