B - Tax Rate /

実行時間制限: 2 sec / メモリ制限: 1024 MB

配点: 200

問題文

高橋君は ABC 洋菓子店でアップルパイをひとつ買い、そのとき N 円を支払ったことを覚えています。

この店で食料品を購入する際には 8 パーセントの消費税が課されます。すなわち、税抜価格 X 円のアップルパイを買う際には X \times 1.08 円 (小数点以下切り捨て) を支払わなければなりません。

高橋君はアップルパイの税抜価格 X を忘れてしまい、これを知りたくなりました。N を入力として X を求めるプログラムを書いてください。なお、X は整数とします。

ただし、考えられる税抜価格が複数存在する場合はそのうちのいずれか 1 つを求めてください。また、高橋君が支払った金額 N を覚え間違えている可能性もあるので、アップルパイの税抜価格として考えられるものが存在しない場合はその旨を報告してください。

制約

  • 1 \leq N \leq 50000
  • N は整数

入力

入力は以下の形式で標準入力から与えられます。

N

出力

アップルパイの税抜価格 X として考えられるものが存在する場合は、そのような整数 X の値を 1 つ出力してください。
そのような値が複数存在する場合は、そのうちのどれを出力しても構いません。
アップルパイの税抜価格として考えられるものが存在しない場合は、:( と出力してください。


入力例 1

432

出力例 1

400

アップルパイの税抜価格が 400 円のとき、これを買うために支払うべき金額は 400 \times 1.08 = 432 円です。
税抜価格がそれ以外のとき、支払うべき金額は 432 円となりません。


入力例 2

1079

出力例 2

:(

支払うべき金額が 1079 円となるような税抜価格は存在しません。


入力例 3

1001

出力例 3

927

アップルパイの税抜価格が 927 円のとき、これを買うために支払うべき金額は 927 \times 1.08 = 1001.16 の小数点以下を切り捨てた 1001 円です。

Score: 200 points

Problem Statement

Takahashi bought a piece of apple pie at ABC Confiserie. According to his memory, he paid N yen (the currency of Japan) for it.

The consumption tax rate for foods in this shop is 8 percent. That is, to buy an apple pie priced at X yen before tax, you have to pay X \times 1.08 yen (rounded down to the nearest integer).

Takahashi forgot the price of his apple pie before tax, X, and wants to know it again. Write a program that takes N as input and finds X. We assume X is an integer.

If there are multiple possible values for X, find any one of them. Also, Takahashi's memory of N, the amount he paid, may be incorrect. If no value could be X, report that fact.

Constraints

  • 1 \leq N \leq 50000
  • N is an integer.

Input

Input is given from Standard Input in the following format:

N

Output

If there are values that could be X, the price of the apple pie before tax, print any one of them.
If there are multiple such values, printing any one of them will be accepted.
If no value could be X, print :(.


Sample Input 1

432

Sample Output 1

400

If the apple pie is priced at 400 yen before tax, you have to pay 400 \times 1.08 = 432 yen to buy one.
Otherwise, the amount you have to pay will not be 432 yen.


Sample Input 2

1079

Sample Output 2

:(

There is no possible price before tax for which you have to pay 1079 yen with tax.


Sample Input 3

1001

Sample Output 3

927

If the apple pie is priced 927 yen before tax, by rounding down 927 \times 1.08 = 1001.16, you have to pay 1001 yen.