(10^12)!