HASH(0x7feddc1ed718)