/*int x1=(int)(1000.0*rand()/(RAND_MAX+1.0));
int y1=(int)(1000.0*rand()/(RAND_MAX+1.0));
int x2=(int)(1000.0*rand()/(RAND_MAX+1.0));
/*int x1=(int)(1000.0*rand()/(RAND_MAX+1.0));
int y1=(int)(1000.0*rand()/(RAND_MAX+1.0));
int x2=(int)(1000.0*rand()/(RAND_MAX+1.0));