*/
  public void use_x_font (gnu.x11.Font font, int first, 
                          int count, int base) {

    RequestOutputStream o = display.out;
    synchronized (o) {
      o.begin_request (glx.major_opcode, 12, 6);
      o.write_int32 (tag);
      o.write_int32 (font.id);
      o.write_int32 (first);
      o.write_int32 (count);
      o.write_int32 (base);
      o.send ();
    }
  }