HASH(0x7fee0e58d440)