How much £ to lenders when property sold because of default?