var defaultArea = "[Enter a street name or area]";
    var defaultPostcode = "[Enter full postcode]";
    var defaultKeywords = "[Enter keywords]";

    function alternatelocationlist() {
	currentval = document.getElementById("locationlist").style.display;
	document.getElementById("locationlist").style.display = (currentval=="block") ? "none" : "block";
    }

    function alternatepostcodelist() {
	currentval = document.getElementById("postcodelist").style.display;
	document.getElementById("postcodelist").style.display = (currentval=="block") ? "none" : "block";
    }

    function addlocation(what) {
	searchbox = document.getElementById("area");
	searchbox.value = what;
	document.getElementById("st1").checked = true;
	alternatelocationlist();
    }

    function addpostcode(what) {
	searchbox = document.getElementById("postcode");
	searchbox.value = what;
	document.getElementById("st2").checked = true;
	alternatepostcodelist();
    }

    function cleararealist(override) {
	searchbox = document.getElementById("area");
	if (override || searchbox.value == "" || searchbox.value == defaultArea)
	    searchbox.value = "";
	if (!override)
	    document.getElementById("st1").checked = true;
    }

    function clearpostcodelist(override) {
	searchbox = document.getElementById("postcode");
	if (override || searchbox.value == "" || searchbox.value == defaultPostcode)
	    searchbox.value = "";
	if (!override) 
	    document.getElementById("st2").checked = true;
    }

    function clearkeywordlist(override) {
	searchbox = document.getElementById("keyword");
	if (override || searchbox.value == "" || searchbox.value == defaultKeywords)
	    searchbox.value = "";
    }

    function resize() {
	    var minheight = document.getElementById("searchcontents").offsetHeight + document.getElementById("settingsmenu").offsetHeight + 20;
	    var mainContentsDiv = document.getElementById("maincontents");
	    if (mainContentsDiv) {
		var actualheight = document.getElementById("maincontents").offsetHeight;
		var adminMenuDiv = document.getElementById("adminmenu");
		if (adminMenuDiv) 
		    minheight += adminMenuDiv.offsetHeight;
		if (actualheight < minheight) {
		    document.getElementById("maincontents").style.height = minheight;
		    }
		}
    }