HASH(0x7fedda61c270)