HASH(0x7fedda650bf0)