You know for fact they defaulted? If they paid off or refinanced by the 24th -- what is the latest day for PR?