#include <stdio.h>

int main() {
   int a,b;
   scanf("%d%d",&a,&b);
   if(a+b<=7)
   printf("%d",a+b);
  if(a+b>7&&a+b<=14)
  printf("%d",a+b-7);
  if(a+b>14&&a+(b%7)<=7)
   printf("%d",a+(b%7));
  if(a+b>14&&a+(b%7)>7)
   printf("%d",a+(b%7)-7);

   return 0;
}