HASH(0x7f5cdcba2ef0)