Alice 90
Bob 80
Chris 70
END

80.0

scores = {}
while True:
    line = input().strip()
    if line == 'END':
        break
    name, score = line.split()
    scores[name] = int(score)
print(round(sum(scores.values()) / len(scores), 1))