HASH(0x7f5ce80fd0b0)