HASH(0x7f5ce24db4d8)