function changeLink() {
  if ( navigator.appVersion.indexOf("Win")!=-1 ) {
    document.getElementById('download_button').href = "/jshot/download/jshotinstall.exe";
  }
  else {
    document.getElementById('download_button').href = "/jshot/download/jshotinstall.jar";
  }
  return true;
}