#include<stdio.h>
void main()
{
int n,i,a=1;
int arry[3];
for(i=0;i<3;i++)
{
scanf("%d\n",&arry[i]);
}
for(i=0;i<3;i++)
{
a=1;
while(arry[i]>0)
{
a=a*arry[i];
arry[i]--;
}
}
printf("%d\n",a);
}