HASH(0x7fee30f67a10)