HASH(0x76107406ed40)