
<!--
function popup(mylink, windowname)
{
if (! window.focus)return true;
var href;
if (typeof(mylink) == 'string')
   href=mylink;
else
   href=mylink.href;
window.open(href, windowname, 'width=600,height=520,scrollbars=no');
return false;
}
//-->
/* check/uncheck boxes */
function checkUncheckAll(theElement) {
   var theForm = theElement.form, z = 0;
   for(z=0; z<theForm.length;z++) {
      if(theForm[z].type == 'checkbox' && theForm[z].name != 'checkall'){
	  theForm[z].checked = theElement.checked;
	  }
   }
}