2^2147483647-1 mod 10000