*/
  public void depth_range (double near, double far) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 174, 20);
      o.write_double (near);
      o.write_double (far);
    }
  }