using C=System.Console;class M{static void Main(){for(;;){var a=C.ReadLine().Split(' ');C.WriteLine(a[2]+"/{0}/"+a[0],+"\x0c\x04 \x03\x05\x0b\x07\x06\x02 \x01\x08 \x09\n"[a[1].GetHashCode()/10%23-3]);}}}
Note that non-ascii characters in the above source code will be escaped (such as \x9f).