HASH(0x7feddc041ef0)