HASH(0x7fee16658360)