HASH(0x7fa9e8e80808)