HASH(0x7f5ce24cf2b0)