HASH(0x7f5ce01ce3b0)