HASH(0x7fee16654638)