function addfavorite(){
	window.external.AddFavorite(location.href, document.title);
}

function go()
{
	box = document.form_select.navi;
	destination = box.options[box.selectedIndex].value;
	if (destination) location.href = destination;
}