HASH(0x76102842f438)