(6423 * 6423 - 17) mod 2^15