function select_link(link_url)
{
	s_link = link_url.selectedIndex;
	location.href = link_url.options[s_link].value;
}

/* --- window_open --- */
function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}