HASH(0x7f5ced24d3e8)