HASH(0x7f131dec4e78)