What to do with a damaged banknote?