HASH(0x7fedfe588168)