<!-------- for use in the help drop down jump menus  ------------>

function MM_jumpMenu(targ,selObj,restore){ //v3.0
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}

function thisMovie(movieName) {
	return document.getElementById(movieName);
}