HASH(0x7fedafa8f930)