function MM_jumpMenu(target,selObj,restore){ //v3.0
	var selected = selObj.options[selObj.selectedIndex].value;
	if (!selected){
		return;
	}
	window.open(selected, target);
	if (restore){selObj.selectedIndex=0;}
}

function addFavorite(url,title){
	window.external.AddFavorite(url, title);
}