function sendform() {
    var dest = document.property_list.ID.value;
    if (dest == '' || dest == null) {
        alert('Please select a property.');
    } else {
        var url = "details.php?ID="+dest;
        window.location = url;
    }
}

function openwin(id) {
    var url = "details.php?ID="+id;
    window.open(url,'details','menubar=yes,scrollbars=yes,resizable=yes,width=550,height=600');
}