HASH(0x7f5cdae13db8)