It seems like the year of 2013 came only yesterday. Do you know a curious fact? The year of 2013 is the first year after the old 1987 with only distinct digits.

Now you are suggested to solve the following problem: given a year number, find the minimum year number which is strictly larger than the given one and has only distinct digits.
The single line contains integer *y* (1000 ≤ *y* ≤ 9000) — the year number.
import requests
from bs4 import BeautifulSoup
import pandas as pd

# 发送请求获取网页内容
url = 'https://xinghuo.xfyun.cn/desk'
response = requests.get(url)
html = response.text

# 解析网页内容
soup = BeautifulSoup(html, 'html.parser')
table = soup.find('table', {'class': 'table table-striped'})

# 提取表格数据
data = []
for row in table.find_all('tr'):
    cols = row.find_all('td')
    cols = [col.text.strip() for col in cols]
    data.append(cols)

# 将数据转换为DataFrame格式
df = pd.DataFrame(data[1:], columns=data[0])

# 进行数据统计
total = df['日期'].sum()
average = df['数量'].mean()
max_value = df['数量'].max()
min_value = df['数量'].min()

# 输出数据统计结果
print('总天数：', total)
print('平均每天数量：', average)
print('最多一天数量：', max_value)
print('最少一天数量：', min_value)
