0x0f002ad1 (RUND7)