HASH(0x7fa9d42fe6f8)