#include <stdio.h> void main() { unsigned __int64 i=1,s=1; for(i=1;i<=20;i++) { s=s*i; } printf("%I64d",s); }