HASH(0x7f5cc42af2c8)