function checkAll(form,what) {
   for (i=0; i<form.elements.length;i++) {
      if (form.elements[i].type == "checkbox") {
         form.elements[i].checked = what;
      }
   }
}

function launchRemote(URL) {
	remote = window.open(URL,"remote","height="+(screen.availHeight-100)+",width=400,left=60,top=40,alwaysLowered=0,alwaysRaised=0,channelmode=0,dependent=0,directories=0,fullscreen=0,hotkeys=1,location=0,menubar=0,resizable=1,scrollbars=1,status=1,titlebar=0,toolbar=0,z-lock=0");
	remote.window.focus();
}
function launchExternal(URL) {
	window.open(URL);
}