static JLabel jimage_16(S imageID) {
  ret jImage_scaledToHeight(imageID, 16);
}