function agregar(){
	if ((navigator.appName=="Microsoft Internet Explorer") && (parseInt(navigator.appVersion)>=4)){
		var url="http://www.gipuzko.com/";
		var titulo="Gipuzko Buru Batzarra";
		window.external.AddFavorite(url,titulo);
	}
	else{
		if(navigator.appName == "Netscape"){
			alert("Presione Crtl+D para agregar este sitio en sus Bookmarks");
		}
	}
}

function miFun(formulario){
	document.form_busqueda.action='bilaketak.php?busqueda='+document.form_busqueda.busqueda.value;
}