HASH(0x7fedf451f2f0)