function launch(menu)
{
	var url = menu.value;
	
	if(url!='') 
	{ 
		if(url.indexOf('http') == -1)
		{
			window.location = url;
		}
		else
		{
			window.open(url);
		}
		menu.selectedIndex = 0;
	} 
	
	return false;
	
}