What shall be done with a cracked hard hat?