HASH(0x7f5ce0fd5b70)