HASH(0x7fedecf6dd18)