HASH(0x7fa9d43553f8)