var theframe;

function switchframecontent(url) {
    theframe = document.getElementById("aframe");
    theframe.src = url;
}

var displayeddiv;
var hiddendiv;

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

function SwitchDiv(divid, hidden1id, hidden2id, hidden3id, hidden4id) {
    displayeddiv = $(divid);
    displayeddiv.className = 'propertysearchcontent';
    hiddendiv = $(hidden1id);
    hiddendiv.className = 'propertysearchcontentoff';
    hiddendiv = $(hidden2id);
    hiddendiv.className = 'propertysearchcontentoff';
    hiddendiv = $(hidden3id);
    hiddendiv.className = 'propertysearchcontentoff';
    hiddendiv = $(hidden4id);
    hiddendiv.className = 'propertysearchcontentoff';
}