*/
  public void map_grid2f (int un, float u1, float u2, int vn, float v1,
                          float v2) {

    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 150, 28);
      o.write_int32 (un);
      o.write_float (u1);
      o.write_float (u2);
      o.write_int32 (vn);
      o.write_float (v1);
      o.write_float (v2);
    }
  }