AB and CD are 2-digit numbers. Multiplying AB with CD results in a 3-digit number DEF. Adding DEF to another 3-digit number GHI results in 864. Further A, B, C, D, E, F, G, H, I are distinct digits. If E = 7 and F = 0, then what is A + B + C equal to?