Hatsan 95 seal and variants of that, ( Hatsan Striker  etc)

5-6 thou bigger on the sealing OD then the OEM seal.

1.065 inch OD average