HASH(0x7fedda58a3f8)