HASH(0x7fedbe5cf818)