var agt=navigator.userAgent.toLowerCase(); 
// Note: On IE5, these return 4, so use is_ie5up to detect IE5. 
var is_major = parseInt(navigator.appVersion); 
var is_minor = parseFloat(navigator.appVersion); 
// Note: Opera and WebTV spoof Navigator.  We do strict client detection. 
// If you want to allow spoofing, take out the tests for opera and webtv. 
var is_nav  = ((agt.indexOf('mozilla')!=-1) && (agt.indexOf('spoofer')==-1) 
              && (agt.indexOf('compatible') == -1) && (agt.indexOf('opera')==-1) 
              && (agt.indexOf('webtv')==-1)); 
var is_nav3up = (is_nav && (is_major >= 3)); 
var is_nav4up = (is_nav && (is_major >= 4)); 
var is_ie   = (agt.indexOf("msie") != -1); 
var is_ie4up  = (is_ie  && (is_major >= 4)); 

var myBookmark = "";
var gwin;
function glossary(bookmark) {
	myBookmark = bookmark;
	gwin = window.open("/glossary/index.jsp", "gwin", "width=400,height=420,scrollbars=no,menubar=no,toolbar=no,directories=no,location=no,status=no");
	if(gwin && !gwin.opener) {
		gwin.opener=self;
	}
	if (is_nav3up | is_ie4up) {
		gwin.focus();
	}
}
function getselected(selectbox) {
	return selectbox.options[selectbox.selectedIndex].value;
}
function setselected(selectbox, value) {
	for (i=0;i<selectbox.length;i++) {
		selectbox.options[i].selected = false;
	}
	for (i=0;i<selectbox.length;i++) {
		if (selectbox.options[i].value == value) {
			selectbox.options[i].selected = true;
		}
	}
}
function menuJump(selector){
	choice = getselected(selector);
	setselected(selector, "");
	if (choice != "") {
		if (choice.indexOf("(") != -1) {
			eval(choice);
		} else {
			document.location = choice;
		}
	}
}
function help(url) {
	helpwindow = window.open(url, "helpwindow", "width=320,height=320,scrollbars=yes,menubar=no,toolbar=no,directories=no,location=no,status=no");
	if(helpwindow && !helpwindow.opener) {
		helpwindow.opener=self;
	}
	if (is_nav3up | is_ie4up) {
		helpwindow.focus();
	}
}