Punch
n.
A tool, usually of steel, variously shaped at one end for
different uses, and either solid, for stamping or for perforating holes
in metallic plates and other substances, or hollow and sharpedged, for
cutting out blanks, as for buttons, steel pens, jewelry, and the like;
a die.