#include<stdio.h>
int main()
{
int n,i;
scanf("%d",&n);
for(i=n;i<=10000;i++)
{
if((i-1)%5==0&&(i-5)%6==0&&(i-6)%7==0&&(i-10)%11==0)
{
printf("%d\n",i);
break;
}
}
return 0;
}
#include<stdio.h>
int main()
{
int n,i;
scanf("%d",&n);
for(i=n;i<=10000;i++)
{
if((i-1)%5==0&&(i-5)%6==0&&(i-6)%7==0&&(i-10)%11==0)
{
printf("%d\n",i);
break;
}
}
return 0;
}