HASH(0x7fedde672280)