HASH(0x7fee0c54cec0)