HASH(0x7f5ce0cd34f0)