Doesn't even matter. More coins that are lost the better for everyone who holds them as it will only increase their value.