HASH(0x7f5cdde5d7c8)