int get fragNumber => _$this._fragNumber;
set fragNumber(int fragNumber) => _$this._fragNumber = fragNumber;