HASH(0x7fedda63d968)