#include "math.h"
#include "stdio.h"
#include "string.h"
void main()
{
__int64 N,s,i;
while(scanf("%I64d",&N)!=EOF)
{
s=1;
if (N>=41)
{
printf("0/n");
}
else
{
if (N==0||N==1)
{
printf("1/n");
}
else
{
for (i=2;i<=N;i++)
{
s*=i;
s=s%2009;
}
printf("%I64d/n",s);
}
}
}
}