HASH(0x7dc80267e180)