total = sum(map(int, open('pe13.txt')))
print ("Top 10 digits of sum =", str(total)[:10])