HASH(0x7fedf05b20b0)