HASH(0x7fedec58e908)