HASH(0x7f5ce052eb70)