HASH(0x7f5cdcb540c0)