HASH(0x7f5ce0067e80)