HASH(0x7fee00f3e2f8)