عادل به ایجاد رأی‌گیری‌های پرمفهوم و پرمعنا و طرح سوالات چالش برانگیز از مخاطبانش علاقه‌ی خاصی دارد. وی از دوستداران اعداد فارسی است، و این بخاطر علاقه‌ی وی به عادل فردوسی پور است، چرا که فکر می‌کند عادل فردوسی پور فرزند فردوسی است. عدد فارسی عددی است که در آن برای هر دو رقم مجاور، جمعشان بر تفاضلشان بخش پذیر باشد. حال عادل می‌خواهد ببیند آیا این سوال سوالی چالش برانگیز است؟ "تعداد اعداد عادلی که از یک $n$ ثابت کمترند چقدر است؟" اگر حتی شما هم بتوانید این سوال را حل کنید یعنی این سوال بدیهی و غیر چالش برانگیز است. با حل این سوال به شبهه‌ی عادل پاسخ دهید. ## ورودی در خط اول عدد طبیعی $n$ می‌آید. $n$ حداکثر $10^5$ رقم دارد. ## خروجی در تنها خط خروجی باید تعداد اعداد عادل کمتر از $n$ را چاپ کنید. با توجه به این‌که ممکن است تعداد جواب‌ها زیاد شود آن‌را به پیمانه‌ی $10^9+7$ چاپ کنید. ## مثال ورودی نمونه 1 ``` 12 ``` خروجی نمونه 1 ``` 11 ``` ورودی نمونه 2 ``` 15 ``` خروجی نمونه 2 ``` 12 ``` ## توضیح همه ی اعداد 1 تا 15 به جز 11 و 14 و 15 فارسی هستند.