function returnDocument() {
        var file_name = document.location.href;
        var end = (file_name.indexOf("?") == -1) ? file_name.length : file_name.indexOf("?");
        var editfile = file_name.substring(file_name.lastIndexOf("/")+1, end);
        document.getElementById("FileToEdit").value = editfile;
}