HASH(0x76105de7fd58)