function MM_jumpMenu(targ,selObj,restore){ //v3.0
  targ = 'self';
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}
function profiler_swap_explanation() {
	var explanationtext = document.getElementById('explanationtext');
	if (explanationtext.style.visibility == 'visible') {
		explanationtext.style.visibility = 'hidden';
	} else {
		explanationtext.style.visibility = 'visible';
	}
}