HASH(0x7fee1258c040)