 You would invest it in some sort of Dow Jones index or some broad-based index. And you would invest only a portion of the funds going up to maybe 40%. If we had done it in the past, we would not be facing exhaustion now.