#include <stdio.h>
int factext(char *s);

int main(int argc, char **argv)
{
  printf("%d\n", factext(argv[1]));
  return 0;
}