HASH(0x7f5ccc51bab0)