HASH(0x7fee16664bf8)