725045 is a quasi-random number.