HASH(0x7fee0a64c768)