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