What should be done with a used worn out flag?