INTERNAL REVENUE CODE 1031