n = int(input())
s = 0
while n > 0:
    if (n > 1000):
        s = s + 0.95 * n
    else:
        s = s + n
    n = int(input())
print(s)