Copper washers for diesel filter pipes.

I have ordered a Gore replacement housing. These don't come with the 4 pipes that clip to the bayonet clips on the rubber pipes. You have to use your old ones. Therefore new copper washers are needed.
As I am using the car currently, cant take it apart to check the size. Does anybody know the correct size ?

ESR354, I reused mine without any issues though