Power up to 1000

Find $x+y$, where $2^x\times5^y=1000$

Problem



Find $x+y$, where $2^x\times5^y=1000$

This problem is taken from the World Mathematics Championships