HASH(0x7efed51b7700)