HASH(0x7f5cc80dc8c8)