param x_0:= -1;
param y_0:= -1;