HASH(0x7f5cc80dc8f8)