There exist positive integers $A$, $B$, and $C$, with no common factor greater than 1, such that:
\[A \log_{200} 5 + B \log_{200} 2 = C. \]
Find the value of $A + B + C$.

Let's think step by step and output the final answer within \boxed{}.
user