For a rivet of 20 mm diameter, the diameter of hole will be taken as