HASH(0x77712cde30b0)