ただ、

（ｙ−４）mod　１２

これは
ぱっと見、暗算はしたくない気持ちになる。
4桁の数字を１２で割るわけで
ちょいと骨が折れそうに見えるわけだ。

だが、実はそうでも無い。
いわゆる還暦の数６０と言うのは１２の倍数だ。
となれば１８００も１２の倍数になるのは九九が出来ればわかる。

つまり