((0x78mod 0xFFEF) * 0x10000 mod 0xFFEF) * 0x10000 mod 0xFFEF