use bigint;print+bfac{1e3}