HASH(0x7fedda6522f8)