HASH(0x7fee0a653c00)