HASH(0x7fedf3888cf8)