#include<stdio.h>


typedef unsigned long long int big;

big fact(big a)
{
	if (a==0) return 1; else return(a*fact(a-1));
}
int cif(big a)
{
    big c,s=0;
	while(a!=0)
	{
		
		c=(a % 10);
		a=a / 10;
		if (c==0) s++; else if (c!=0) 
		{ 
			
			return s;
		}
	}
}
int main()
{
	FILE *in=fopen("fact.txt","r"),
		 *out=fopen("fact.out","w");

	big a,b,c;
	fscanf(in,"%llu",&a);
	
	for (b=1;b<=18446744213;b++)
	{
		c=fact(b);
	   
		if (cif(c)==a)
		{
			fprintf(out,"%llu",b);
			goto sf;
		}
	}
	
	
	
sf:
     return 0;

}