((3554416254 - 12345) * PowerMod[12345,-1,2**32]) mod 2 ** 32