The minimum diameter of manhole opening is