Noun (thing)
Holepunch
a tool to create holes in sheets of paper, so they may be filed in a ring binder
If you want to file those papers, you may use the holepunch on my desk.