import pandas as pd
import numpy as np
df1 = pd.read_csv('Nowcoder.csv',sep=',')
sum_a = df1['Achievement_value'].sum()
print(df1.query("Level==7")['Achievement_value'] / sum_a)