function marcarTodos(){
	todos = document.getElementById('todos');
	if(todos.checked==1){
		seleccionarTodo();
	} else {
		deseleccionarTodo();
	}
}

function seleccionarTodo(){ 
   for (i=0;i<document.favoritos.elements.length;i++) 
      if(document.favoritos.elements[i].type == "checkbox") 
         document.favoritos.elements[i].checked=1 
} 

function deseleccionarTodo(){ 
   for (i=0;i<document.favoritos.elements.length;i++) 
      if(document.favoritos.elements[i].type == "checkbox") 
         document.favoritos.elements[i].checked=0 
} 

function mandaPdf(ruta){
	document.favoritos.action=ruta+"?pdf=1";
}

function borraFavoritos(ruta){
	document.favoritos.action=ruta+"?del=1";
}