Let the letters $A,B,C,D,E,F$ represent distinct digits. Suppose $ABCABC$ is the GREATEST number that satisfies the equation $7\cdot ABCABC=DEFDEF$. What is the value of $ABC+DEF$?