#include <stdio.h>
int main(){
    int a,b;
    scanf("%d%d",&a,&b);
    if((a+b)%7==0) printf("7");
    else printf("%d",(a+b)%7);
    
    return 0;
}