void DrawPalette(void)
{
    long i,j;
    Rect r;
    FILE *fptr;
    RGBColor colour;
    double red,green,blue;

    fptr = fopen("palette","w");
    for (i=0;i<16;i++) {
      for (j=0;j<16;j++) {
         r.left   = i*16;
         r.right  = r.left + 16;
         r.top    = j*16;
         r.bottom = r.top + 16;
         Index2Color(i*16+j,&colour);
         RGBForeColor(&colour);
         PaintRect(&r);
         red = colour.red;
         green = colour.green;
         blue = colour.blue;
         fprintf(fptr,"%ld %g %g %g %g %g %g\n",
            i*16+j,
            red,green,blue,
            red/65535,green/65535,blue/65535);
      }
   }
   fclose(fptr);
}