HASH(0x7fedfe675068)