HASH(0x7fede406e970)