user=Free-DC_Petey
[02/08/08 16:45:35]
789*2^325375-1 is prime! Time : 266.0 sec.