static byte[] scaledDownScreenshot_jpeg(int width) {
  ret toJPEG(scaledDownScreenshot(shootScreen2(), width));
}