function goURL(url)
{
    window.location = url;
}


function varitext(text)
{
	text=document
	print(text)
}


function openBr(url,wname,features) {

  window.open(url,wname,features);
}

function checkUncheckAll(theElement) {

     var theForm = theElement.form, z = 0;
     
         while (theForm[z].type == 'checkbox' && theForm[z].name != 'checkall') {

              theForm[z].checked = theElement.checked;
              z++;
         }
}


function jumpmenu( form ) {

	var newIndex = form.fieldname.selectedIndex;

	if ( newIndex == 0 ) {

		alert( "Please select an edition!" );

	} else {

		cururl = form.fieldname.options[ newIndex ].value;

		window.location.assign( cururl );

	}

}