HASH(0x7fee24c45858)