#include <stdio.h> int main(){ int i, n,res = 1; scanf("%d",&n); for(i = 1;i <= n;i++){ res *= i; } printf("%d",res); return 0; }