HASH(0x7fedd804c6e8)