HASH(0x7fedfe668920)