#include <stdio.h>

extern int fact(int n);

int main ( int argc, char * argv[] ) {

    int n = atoi(argv[1]);

    n = fact(n);

    printf ( "%d",  n );

    return 0;
}