HASH(0x7fedfa655bd8)