Question 10Find the largest four-digit number $\overline{abcd}$ such that at least one of its digits is 1 and $\overline{abcd}=2\times a\times b\times c\times d+2017$.