HASH(0x7fedec2edbe8)