Where would that money come from?