HASH(0x76101dd64e38)