Book Punching Machine, Manual

A hole punch, also known as hole puncher, or paper puncher, is an office tool that is used to create holes in sheets of paper, often for the purpose of collecting the sheets in a binder or folder (such collected sheets are called loose leaves).