HASH(0x7fa9a94ff7d8)