HASH(0x76107dddf578)