punch (marking tool) (1000294583);