HASH(0x7fa9b417f7e0)