docs: function evalheaders(json, type) {
  		var id = json.$originalid || json.$instanceid;
  		delete json.$instanceid;
  		delete json.$originalid;
  		if (id) {
  			Object.defineProperty(type, "$originalid", gui.Property.nonenumerable({
  				value: id
  			}));
  		}
  	}