static RGBImage rgbWhiteBorder(int w, RGBImage img) {
  RGBImage img2 = new RGBImage(img.w()+w*2, img.h()+w*2, Color.white);
  rgbCopy(img, img2, w, w);
  ret img2;
}