HASH(0x7fee2c0e31e0)