HASH(0x7dc80263c4b0)