HASH(0x7fedbe5748b0)