HASH(0x76107deccde8)