题目描述

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

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

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

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

输入格式

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

$N$

输出格式

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

题目大意

高桥君买了一个价值$X$元（整数）的商品。因为交税，他实际支付了$1.08X$元（向下取整），给出税后价格，求税前价格，如果没有对应的税前价格，就输出“:(”（双引号不输出）

432

400

1079

:(

1001

927

提示

制約

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

Sample Explanation 1

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

Sample Explanation 2

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

Sample Explanation 3

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