HASH(0x7fee16672cc8)