HASH(0x7f5cdcd425c0)