function pais(nombre_pais){
	if(nombre_pais != "" && nombre_pais != "0"){
		
		ajax = nuevoAjax();
		ajax.open("GET", "ajax/lista-destinos.php?pais="+nombre_pais, true);
		ajax.onreadystatechange = function(){ 
			
			if (ajax.readyState == 1){
				document.getElementById("destinations").innerHTML = "<span style='font-family:Arial, Helvetica, sans-serif; color:#CCCCCC; font-size:11px;'>Loading destinations ...</span>";
			}
			if (ajax.readyState == 4){ 
				document.getElementById("destinations").innerHTML = ajax.responseText;
			} 
		}
		ajax.send(null);
	}
}