fun readInt () = valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn) val () = let val x = readInt () val y = readInt () val ans = if (Int.max(x, y) + 4) mod 12 = y then (Int.max(x, y) + 8) mod 12 else (Int.max(x, y) + 4) mod 12 in print (Int.toString ans ^ "\n") end