shopping = dict()
a=input()
while(a != '0'):
    _, cat, count, price = a.split('-')
    count, price = float(count), float(price)
    if not cat in shopping.keys():
        shopping[cat] = 0
    shopping[cat] += count*price
    a = input()
    print(shopping)
discount = input().split(',')
print(sum(shopping.values()))
for cat in discount:
    shopping[cat] *= 0.85
print(sum(shopping.values()))