HASH(0x7fa9b45d09f8)