What is the standard diameter of the stump of a cricket wicket?

What is the standard diameter of the stump of a cricket wicket?
👆