HASH(0x7f5cde65cc80)