Workmen's marks from the Theban necropolis