int main()
{
　　int n;
　　while (scanf("%d", &n) == 1) {
　　　　if (n > 0) {
　　double fact = 1.0;
　　int i;
　　　　　　for (i = 0; i < n; fact *= ++i);
　　　　　　printf("fact(%d) = %.0f\n", n, fact);
　　　　　　return 0;
　　　　}
　　}
　　return 1;
}