HASH(0x7fedde58d788)