HASH(0x7f5ce31ab5c0)