function toggle(switchElement)
{
  var country=new Array();
  country[1]='http://travelenc.com/turkey/';
  country[2]='http://travelenc.com/tunisia/';
  country[3]='http://travelenc.com/maldives/';
  country[4]='http://travelenc.com/mauritius/';
  country[0]='';
  url_index=switchElement.value;
  if (url_index > 0)
    {
      window.location = country[url_index]
    }
}