ans = 0
ans += gets.chomp.to_i * 100
ans += gets.chomp.to_i * 25
ans += gets.chomp.to_i * 1
ans = ans % 1000
anans = 0
anans += ans / 100
ans = ans % 100
anans += ans / 25
anans += ans %25
p anans