using C=System.Console;class M{static void Main(){C.WriteLine(C.Read()%7*2+~(2>>~-int.Parse(C.ReadLine())/15));Main();}}