0x3ffedb4f