HASH(0x7fedca6004b8)