What happens if a Redskins player changes his number?