X = 50000
R = 1.08

def main(argv)
  n = gets.chomp.to_i

  ans = nil
  (1..X).each do |x|
    ans = x if (x.to_f * R).floor == n
  end

  if ans == nil then
    puts ':('
  else
    puts ans.to_s
  end
end

if self.to_s == 'main' then
  main(ARGV)
end