
#include<stdio.h>
int main(){
int n,i,j=2,x,k=1;
scanf("%d",&n);
while(n){
x=0;
for(i=2;i<j;i++){
if(j%i==0){
x=1;
break;
}
}
if(x==0){
k=(k*j)%50000;
n--;//n-1
}
j++;
}
printf("%d",k);
return 0;
}