HASH(0x7f5cff16e028)