HASH(0x7fee165f58b0)