HASH(0x7fee24f6e788)