HASH(0x7fedca659158)