import pandas as pd
a = pd.read_csv('Nowcoder.csv', sep=',')
b = a['Achievement_value'].sum()
c = a[a['Level']==7]['Achievement_value']/b
print(c)