function initialize (result) {
-// ----------------------------
var state = search.state.value;
if (state == "inWORK" || state == "inDRAFT" || state == "inCHECK") {
}
function setState () {
-// --------------------
var state = search.state.value;
if (state == "inWORK" || state == "inDRAFT" || state == "inCHECK") {
}
function changeFilter () {
-// ------------------------
var result = document.getElementById("resulist");
search.elements[0].value = "0"; // Marks the result obsolete
}
function removeContext (index) {
-// ------------------------------
search.elements[0].value = index;
search.submit();
}
function cancel () {
-// ------------------
search.elements[0].value = "-1";
search.submit();
}
\ No newline at end of file