#include <stdio.h>
#include <stdlib.h>
#define N 200000
int p[N+1];
void era(void){
    int i,j;
    for(i=2;i<N;i++)
        p[i]=1;
    for(i=2;i*i<N;i++){
        if(p[i]){
            for(j=2*i;j<=N;j=j+i)
                p[j]=0;
        }
    }
}
int cmp(const void *a,const void *b){
	return *(int *)a-*(int *)b;
}
int main(void){
	int n,m,i,j,c1,c2,c3,s[10000];
	era();
	while(1){
		scanf("%d %d",&n,&m);
		if(n==-1)
			break;
		c3=0;
		for(i=n+1,c1=0;c1<100;i++){
			if(p[i]){
				for(j=i,c2=0;c2<100;j++){
					if(p[j]){
						s[c3++]=i+j;
						c2++;
					}
				}
				c1++;
			}
		}
		qsort(s,c3,sizeof(int),cmp);
		printf("%d\n",s[m-1]);
	}
	return 0;
}