HASH(0x7fee1408f4d0)