MathNet 2010 — Part 04 Question 11

A natural number is called "happy" if the sum of its digits is $7$. Let $(a_n)_{n=1}^\infty$ be the increasing sequence of happy numbers. If $a_n = 2005$, compute $a_{5n}$.