punch
puncher
a tool for making holes or indentations