HASH(0x7feddc1ed8b0)