HASH(0x7fee1a7bcde0)