HASH(0x7f5cc1fb4d20)