int main(){write("%d",Gmp.fac(1000));}