That is a very good point. I am not sure when that money will get distributed back. If I had to guess I would say it will take some time though.