HASH(0x7f7a71cf6c58)