HASH(0x7fee1a5d5f20)