HASH(0x76101c3bf128)