/* package whatever; // don't place package name! */
 
import java.util.*;
import java.lang.*;
import java.io.*;
 
/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
	public static void main (String[] args) throws java.lang.Exception
	{
		// your code goes here
	}
}

LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CgovKiBOYW1lIG9mIHRoZSBjbGFzcyBoYXMgdG8gYmUgIk1haW4iIG9ubHkgaWYgdGhlIGNsYXNzIGlzIHB1YmxpYy4gKi8KY2xhc3MgSWRlb25lCnsKCXB1YmxpYyBzdGF0aWMgdm9pZCBtYWluIChTdHJpbmdbXSBhcmdzKSB0aHJvd3MgamF2YS5sYW5nLkV4Y2VwdGlvbgoJewoJCS8vIHlvdXIgY29kZSBnb2VzIGhlcmUKCX0KfQ==

KGRlZnVuIGZvcnR1bmVjb29raWUgKCkKICAocHJpbmMgJnF1b3Q7MjAyMzAwNzE35ZCN5YmN44G+44Gf44Gv5a2m57GN55Wq5Y+344KS5YWl5Yqb77yaJnF1b3Q7KQogIChsZXQqICgoaWQgKHJlYWQtbGluZSkpCiAgICAgICAgIDs7IDIwMjUtMDYtMTfml6Xku5jjgpLlj5blvpfvvIhZWVlZLU1NLURE5b2i5byP77yJCiAgICAgICAgIChkYXRlIChtdWx0aXBsZS12YWx1ZS1iaW5kIChzZWMgbWluIGhvdXIgZGF5IG1vbnRoIHllYXIpCiAgICAgICAgICAgICAgICAgICAgKGdldC1kZWNvZGVkLXRpbWUpCiAgICAgICAgICAgICAgICAgIChmb3JtYXQgbmlsICZxdW90O340LCcwZC1+MiwnMGQtfjIsJzBkJnF1b3Q7IHllYXIgbW9udGggZGF5KSkpCiAgICAgICAgIDs7IElE44Go5pel5LuY44KS57WQ5ZCI44GX44Gm56iu44KS5L2c5oiQCiAgICAgICAgIChjb21iaW5lZCAoY29uY2F0ZW5hdGUgJ3N0cmluZyBpZCBkYXRlKSkKICAgICAgICAgOzsg44K344O844OJ44KS55Sf5oiQ77yI5ZCE5paH5a2X44Gu44Kz44O844OJ44KS6Laz44GX5ZCI44KP44Gb44KL77yJCiAgICAgICAgIChzZWVkIChyZWR1Y2UgIycrIChtYXAgJ2xpc3QgIydjaGFyLWNvZGUgY29tYmluZWQpKSkKICAgICAgICAgKHJlc3VsdCAobnRoIChtb2Qgc2VlZCA1KQogICAgICAgICAgICAgICAgICAgICAgJygmcXVvdDvlpKflkInvvIEg5oyR5oim44KS57aa44GR44KI44GGJnF1b3Q7CiAgICAgICAgICAgICAgICAgICAgICAgICZxdW90O+S4reWQie+8gSDku4rml6Xjga/pm4bkuK3jga7ml6UmcXVvdDsKICAgICAgICAgICAgICAgICAgICAgICAgJnF1b3Q75bCP5ZCJ77yBIOOBvuOBmuOBr+S4gOatqSZxdW90OwogICAgICAgICAgICAgICAgICAgICAgICAmcXVvdDvlkInvvIEg57KY44KK5Yud44Gh44KS55uu5oyH44Gd44GGJnF1b3Q7CiAgICAgICAgICAgICAgICAgICAgICAgICZxdW90O+WHtiZoZWxsaXA744Gn44KC5piO5pel44GM44GC44KL77yBJnF1b3Q7KSkpKQogICAgKGZvcm1hdCB0ICZxdW90O+e1kOaenO+8mn5BfiUmcXVvdDsgcmVzdWx0KSkp

(defun fortunecookie ()
  (princ "202300717名前または学籍番号を入力：")
  (let* ((id (read-line))
         ;; 2025-06-17日付を取得（YYYY-MM-DD形式）
         (date (multiple-value-bind (sec min hour day month year)
                    (get-decoded-time)
                  (format nil "~4,'0d-~2,'0d-~2,'0d" year month day)))
         ;; IDと日付を結合して種を作成
         (combined (concatenate 'string id date))
         ;; シードを生成（各文字のコードを足し合わせる）
         (seed (reduce #'+ (map 'list #'char-code combined)))
         (result (nth (mod seed 5)
                      '("大吉！ 挑戦を続けよう"
                        "中吉！ 今日は集中の日"
                        "小吉！ まずは一歩"
                        "吉！ 粘り勝ちを目指そう"
                        "凶…でも明日がある！"))))
    (format t "結果：~A~%" result)))