HASH(0x7fedda67f6e0)