n = gets.chomp.to_i

def calc(befor)
  after = befor * 1.08

  return after.floor
end

zei = (1..50000).map do |x|
  calc(x)
end

result = zei.find_index(n)
puts result ? (1..50000).to_a[result] : ':('
