HASH(0x7f5c984ea7c0)