HASH(0x76107c4fdd78)