O ) cncvv \ \ ^ \ tvvSX \ \ \x=