What size washers are those and how do you punch holes through them?