Hole punch, hole puncher, paper puncher