#include<stdio.h>
int main()
{
int i;
int m,n;
int x=0;
scanf("%d %d",&m,&n);
for(i=n;i>=m;i--)
{
if(i%7==0&&i%4!=0)
{
printf("%d",i);
x++;
break;
}
}
if(x==0)
printf("no");
return 0;
}
#include<stdio.h>
int main()
{
int i;
int m,n;
int x=0;
scanf("%d %d",&m,&n);
for(i=n;i>=m;i--)
{
if(i%7==0&&i%4!=0)
{
printf("%d",i);
x++;
break;
}
}
if(x==0)
printf("no");
return 0;
}