static BufferedImage dm_scaledDownScreenshotFromOtherMachine(S computerID, int width) {
  ret fromJPEG((byte[]) dm_evalOnOtherMachine(computerID,
    "scaledDownScreenshot_jpeg(" + width + ")"));
}