HASH(0x7f5ce24cf1d8)