<Jafet> mkx bin/\xe2\x81\x97//cc \'int i,r,n;main(){for(;n<1e5;n++,r*=2){for(i=2;i*i<=n;i++)if(n%i==0&&r--)break;r++;if((r&511)==325)printf("%d,%d,%d,%d%c",n-8,n-6,n-2,n,10);}}\'

char s[99],*p[9],**q;main(){for(;q=p,*q++=strtok(gets(s)," ");fork()||execvp(*p,p),wait(0))for(;*q++=strtok(0," "););}