HASH(0x7f1335dacf58)