HASH(0x7f7abddb4d78)