function $(id)
	{
	 return document.getElementById(id);
	}

	function redirecTo(url)
	{
		document.location = url;
	}

	function clearSearchForm(form)
	{
		var ans; 
		ans=window.confirm('¿Desea borrar toda la información de formulario de búsqueda?'); 
		if (ans==true) { 
			form = $('buscador');
			form.titulo.value = "";
			form.autor.value = "";
			form.editorial.value = "";
			form.codigo.value = "";
		}
	}