HASH(0x7f5cff16df38)