HASH(0x7fee138d5d78)