HASH(0x7fa9b432f1d8)