function selectYear() {
  var year = document.getElementById('year').options[document.getElementById('year').options.selectedIndex].value;
  if (year != '')	{location.href="festival_past.php?year="+year;}
}

function load_year(f_title) {
	var year = document.getElementById('festival_date_start_year').options[document.getElementById('festival_date_start_year').options.selectedIndex].text;
	if (year != '')	{location.href="http://"+location.host+"/festivals/"+year+"/"+f_title;}
}