// for the Global sites menu pulldown in the header
function global_jumpMenu(targ,selObj,restore){ //v3.0
	var windowTarget = selObj.options[selObj.selectedIndex].value;
	if (windowTarget != 'start'){
		window.open(windowTarget);
	}
  if (restore) selObj.selectedIndex=0;
}