HASH(0x7fd63e9c7f20)