HASH(0x77712cddeec0)