HASH(0x7fee305b17d0)