HASH(0x7fedf65e1d60)