説明

各正式に出版された図書には$ISBN$番号が対応しており、$ISBN$コードには$9$桁の数字、$1$桁の識別コード、および$3$桁の区切り記号が含まれており、その指定フォーマットは$x-xxx-xxx-x$であり、記号-は区切り記号（キーボード上のマイナス記号）であり、最後の桁は識別コードであり、例えば$0-670-82162-4$は標準的な$ISBN$コードである。$ISBN$コードの最初の数字は書籍の出版言語を表し、例えば$0$は英語を表し、最初の区切り記号$-$に続く3桁の数字は出版社を表し、例えば$670$はヴァイキング出版社を表し、2番目の区切り記号の後の5桁の数字は、その出版社における本の番号を表します。最後のビットは識別コードです。

識別コードの計算方法は以下の通りである：

最初の数字に$1$と前回の桁の数字に$2を乗算する……$はこのようにして、得られた結果$mod 11$を用いて、得られた剰余は識別コードであり、剰余が$10$であれば、識別コードは大文字$X$である。例えば、$ISBN$番号$0-670-82162-4$の識別コード$4$は、$067082162$という$9$の数字に対して、左から右へ、それぞれ$1、2、…、9$を乗算して再加算する、すなわち$0×1+6×2+…+2×9=158$、次に$158 mod 11$の結果$4$を識別コードとして取ります。

あなたのタスクは、入力された$ISBN$番号の識別コードが正しいかどうかを判断するプログラムを作成し、正しい場合は$Right$のみを出力します。エラーの場合は、正しいと思われる$ISBN$番号を出力します。

入力説明

本の$ISBN$番号（入力が$ISBN$番号のフォーマット要件を満たすことを保証する）を表す文字列。

出力の説明

a 入力された$ISBN$番号の識別コードが正しい場合は、$Right$を出力し、そうでない場合は、指定されたフォーマットに従って、正しい$ISBN$番号（区切り記号$-$を含む）を出力します。