Andrew, who owns a mask factory, sold a machine used in his business for $100,000. The machine was purchased for $90,000 and has been depreciated a total of $30,000. What amount is reported as Section 1231 gain?