HASH(0x7fedda6034b0)