HASH(0x7fee3058b640)