       while(P0^7==x);