function changeTheme()
{
	window.location = 'biblio.php?theme='+$('#theme').val();
}