{{For|the item used to punch holes in sheets of paper|Hole punch}}
{{wiktionary redirect}}
{{Short pages monitor}}