HASH(0x7efed44648c0)