HASH(0x7fee06583c78)