HASH(0x7feddc17d8c8)