function pageJump(destination) {
    location.href = 'propview.asp?' + destination;
}

function strip_intersection(str) {
    str = str.split(' &');
    return str[0];
}

window.onload = function() {
    for (p in properties) {
        var new_property = new Option(strip_intersection(properties[p][1]), 'cat='+properties[p][0]+'#'+p);
        document.forms.proplist[properties[p][0]].options[document.forms.proplist[properties[p][0]].options.length] = new_property;
    }
};