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