0001 #include <cstdio>
0002 
0003 __int64 facI ( int );
0004 __int64 facR ( int );