1793 - 新紙幣

時間制限 1 秒 / メモリ制限 64 MB / 得点 10 / Writer ei2331 / x 4 / 統計 /

TLE
1sec
MLE
64MB
得点
10

雑談

2024/07/03/00:00:00.00から、新紙幣の発行が始まった。
新しい一万円札には「渋沢栄一」、五千円札には「津田梅子」、千円札には「北里柴三郎」が採用された。
特に、1万円札の新しい肖像に選ばれた渋沢栄一は近代日本経済の父と呼ばれ、生涯で創設や育成に関わった企業は約500と言われている。
また、従来紙幣の記番号はA000001A～ZZ900000Zが使用されていたが、新紙幣の記番号はAA000001AA~ZZ900000ZZと末尾のアルファベットが1文字追加された。
※アルファベットは数字1,0と似たI,Oを除く24文字である。

問題

厳密に考えると難しいので、仮想世界を定義する。
このセカイでは、1~12月はすべて30日で構成されており、新紙幣10000円札は2024/07/03/00:00:00.00を迎えた瞬間初刷をし、それ以降は１つの印刷所で0.01秒ごとに1枚づつどんな障害も発生することなく正確に印刷され、記番号はAA000001AA～ZZ900000ZZを後述する順番で重複なく使われる。つまり、2024/07/03/00:00:00.00にはAA000001AAが印刷されるものとする。
また、アルファベットは数字1,0に似たI,Oを除いた24文字を使用する。

記番号はこのような順番で使用されるものとする。
AA000001AA
AA000002AA
:
AA900000AA
AA000001AB
:
AA900000AZ
AA000001BA
:
AA900000ZZ
BA000001AA
:
ZA900000ZZ
AB000001AA
:
ZZ900000ZZ
このように、数字が000001~900000まで順番に使用されたのち、I,Oを除いたアルファベットが右から1番目A~Z、右から2番目A~Z、左から1番目A~Z、左から2番目A~Zの順番で使用される。

時刻がYYYY/MM/DD/hh:mm:SS.ssの形式で与えられるので、この時刻に製造された新紙幣10000円札の記番号を求めてください。
ただし、新紙幣10000円札の発行が始まった2024/07/03/00:00:00.00以前の時刻が与えられた場合は、-1と出力してください。
さらに、記番号ZZ900000ZZ以降は発行されないので、発行されていない時刻が与えられた場合も-1と出力してください。

入力

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

$YYYY/MM/DD/hh:mm:SS.ss$

1行目に時刻が上記の形式で与えられる。

出力

1行目に与えられた時刻の新10000円札の記番号を出力する。
出力の最後に改行を入れること。

制約

全ての入出力ケースについて以下を満たす。

  • $2000 \leq YYYY \leq 2200$
  • $01 \leq MM \leq 12$
  • $01 \leq DD \leq 30$
  • $00 \leq hh \leq 23$
  • $00 \leq mm \leq 59$
  • $00.00 \leq SS.ss \leq 59.99$
    • すべて数字が入る。

入出力例

入力例1

2024/07/05/14:30:31.50

出力例1

AA003151BB

問題に従って発行すると記番号はこうなります。

入力例2

2194/11/11/11:11:11.11

出力例2

-1

この時刻に達する前に記番号ZZ900000ZZが発行されているため、新紙幣10000円札を発行できないので-1を出力する。