HASH(0x7f5cddbec068)