HASH(0x7fee1b7f41f0)