HASH(0x7fedf004b158)