function loadDocument(docID) {
var url = 'distribute.aspx?FILNAVN=' + escape(docID);
location.href = url;
}

function getCategory() {
var index = document.getElementById("categories").selectedIndex;
var ident = document.getElementById("categories").options[index].value;
location.href = 'downloads.aspx?id=' + ident;
}