HASH(0x77712ce07f58)