static void playVideo(File file) {
  nohupJavax("#1003858 " + quote(f2s(file)));
}