HASH(0x7fa9c94d23b8)