HASH(0x7f5c8d6a8d20)