HASH(0x7f5cde08f228)