

def 					_lowercase     (				a_				:					int = 1_0_0_0				)				->	int:




					'''simple docstring'''







					__magic_name__							=    2**power
					__magic_name__							=    0
					while n:
										__magic_name__,	__magic_name__							=    r + n % 1_0, n // 1_0
					return r


if __name__ == "__main__":
						print(solution(int(str(input()).strip())))







from __future__ import annotations




def 					_lowercase     (				a_				:					int				)				->	bool:




					'''simple docstring'''







					__magic_name__							=    str(a_				)
					return len(a_				) == 9 and set(a_				) == set('123456789'				)




def 					_lowercase     (				)				->	int | None:




					'''simple docstring'''







					for base_num in range(9_9_9_9					,4_9_9_9					,-1				):
										__magic_name__							=    1_0_0_0_0_2 * base_num
										if is_9_pandigital(a_				):
															return candidate

					for base_num in range(3_3_3					,9_9					,-1				):
										__magic_name__							=    1_0_0_2_0_0_3 * base_num
										if is_9_pandigital(a_				):
															return candidate

					return None


if __name__ == "__main__":
						print(f'''{solution() = }''')




