HASH(0x7fedea581068)