HASH(0x7fedee5dcfd8)