function post_to_url(path, params, method) {
    method = method || "post"; // Set method to post by default, if not specified.

    // The rest of this code assumes you are not using a library.
    // It can be made less wordy if you use one.
    var form = document.createElement("form");
    form.setAttribute("method", method);
    form.setAttribute("action", path);

    for(var key in params) {
        var hiddenField = document.createElement("input");
        hiddenField.setAttribute("type", "hidden");
        hiddenField.setAttribute("name", key);
        hiddenField.setAttribute("value", params[key]);

        form.appendChild(hiddenField);
    }

    document.body.appendChild(form);    // Not entirely sure if this is necessary
    form.submit();
}





function showCatalog(id, catPrefix) {
    var gr  = document.getElementById("d_" + catPrefix + id);
    var treeIcon  = document.getElementById("i_" + catPrefix + id);

    if (gr.style.display=='none')
    {
        gr.style.display='';
        treeIcon.src = 'images/tree/expand_minus.gif';
    }
    else
    {
        gr.style.display='none';
        treeIcon.src = 'images/tree/expand_plus.gif';
    }
}

function open_window(link,w,h) //opens new window
 {
  var win = "width="+w+",height="+h+",menubar=no,location=no,resizable=yes,scrollbars=yes";
  newWin = window.open(link,"newWin",win);
  newWin.focus();
 }