int query (int x, int y);